Association
Permits regrouping of iterated disjunctions or conjuntions
Contraposition
Permits inverting of conditionals, with appropriate negation changes
De Morgan's
Peion of negation across disjuntions and conjunctions used extensively
Biconditional Exchange
Permits introduction and elimination of triple bar
Conditional Exchange
Permits exchange of conditional an disjunction
Distribution
Permits changing of major operator from * to v an dvice versa
Exportation