truth table to kmap solver - Search