Summary: (Blank Abstract)
The following lists some propositional formula equivalences.
Remember that we use the symbol
Double Complementation 


Complement 


Identity 


Dominance 


Idempotency 


Absorption 


Redundancy 


DeMorgan's Laws 


Associativity 


Commutativity 


Distributivity 


Equivalences for implication are omitted above for brevity and for
tradition. They can be derived, using the definition
For example, using Identity and Commutativity, we have