L3A
More Multiplying Out and Factoring
L3B
Exclusive-OR and Equivalence Operations
L3C
The Consensus Theorem
L3D
Simplification of Switching Expression - Techniques
L3E
Simplification of Switching Expression - Combining All
L3F
Proving the Validity of Equation