truth table to k map converter - Search