equivalence in truth table - Search