truth table to boolean converter - Search