Logical Equivalence Table - Search