 ##  [Lois de de Morgan](/fr/node/59235) 

  ##  [Lois de de Morgan](https://natural.quantumdictionary.io/fr/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**

 
Définition

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.

 
 ##  [Lois de de Morgan](https://mathlogic.quantumdictionary.io/fr/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**

 
Définition

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.

 
 ##  [Lois de de Morgan](https://algebra.quantumdictionary.io/fr/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**

 
Définition

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.