Prove Logical Equivalence Using Laws