Lois de de Morgan

Règles en logique propositionnelle et en théorie des ensembles affirmant que la négation d'une conjonction est la disjonction des négations, et la négation d'une disjonction est la conjonction des négations (¬(A∧B) ⇔ ¬A∨¬B et ¬(A∨B) ⇔ ¬A∧¬B), avec des analogues en termes de compléments d'ensembles.

La paire d'équivalences logiques reliant la négation à la conjonction et à la disjonction : ¬(A ∧ B) est équivalent à (¬A) ∨ (¬B), et ¬(A ∨ B) est équivalent à (¬A) ∧ (¬B) en logique classique et en algèbre booléenne.

Deux règles algébriques qui décrivent comment la complémentation (la négation logique ou le complément d'ensemble) se distribue sur les opérations binaires réunion et intersection (ou OU et ET) : le complément d'une réunion est l'intersection des compléments, et le complément d'une intersection est la réunion des compléments.