logical equivalence proof - Search