Two & Three Variable Theorems:

Commutivity
Associativity
Distributivity
Covering
Combining
Consensus"
A) Boolean Logic
B) Set Theory
C) Propositional Logic
D) Relational Algebra