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