 ##  [Leyes de de Morgan](/es/node/59235) 

  ##  [Leyes de de Morgan](https://natural.quantumdictionary.io/es/node/59236) 

  
 [![Natural & Formal Sciences Dictionary](/sites/default/files/styles/large/public/2026-01/Natural%20%26%20Formal%20Sciences.png.webp?itok=2kCDRVQv)](/topic-specific-dictionaries/natural-formal-sciences)


**Natural &amp; Formal Sciences Dictionary**

 
Definición

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.

 
 ##  [Leyes de de Morgan](https://mathlogic.quantumdictionary.io/es/node/59990) 

  
 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural &amp; Formal Sciences -

**Mathematics &amp; Logic Dictionary**

 
Definición

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.

 
 ##  [Leyes de de Morgan](https://algebra.quantumdictionary.io/es/node/63447) 

  
 [![Algebra](/sites/default/files/styles/large/public/2026-01/Algebra.png.webp?itok=3pHxBnUF)](/topic-specific-dictionaries/pure-mathematics/algebra)

- Pure Mathematics -

**Algebra Dictionary**

 
Definición

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.