truth table logical equivalence - Search