3 Basic Boolean algebra

 3.1 Distributive
 3.2 Commutative
 3.3 Associative
 3.4 Simplification
 3.5 DeMorgan’s law