Rules of Replacement




    DeMorgan's Theorem

    Double Negation

    Commutation

    Association

    Distribution

    Exportation

    Transposition

    Implication

    Tautology

    Material Equivalence