Leyes de de Morgan

Reglas en lógica proposicional y teoría de conjuntos que establecen que la negación de una conjunción es la disyunción de las negaciones y que la negación de una disyunción es la conjunción de las negaciones (¬(A∧B) ⇔ ¬A∨¬B y ¬(A∨B) ⇔ ¬A∧¬B), con análogos de complementos de conjuntos.

El par de equivalencias lógicas que relacionan la negación con la conjunción y la disyunción: ¬(A ∧ B) es equivalente a (¬A) ∨ (¬B), y ¬(A ∨ B) es equivalente a (¬A) ∧ (¬B) en lógica clásica y álgebra booleana.

Dos reglas algebraicas que describen cómo la complementación (negación lógica o complemento de conjunto) se distribuye sobre las operaciones binarias unión e intersección (u OR y AND): el complemento de una unión es la intersección de los complementos, y el complemento de una intersección es la unión de los complementos.