Proof Using Logical Equivalence