Propositional Equivalence Laws