Results for: Propositional Equivalence Laws