Logical Equivalences Using Laws