lois de De Morgan

Formulées par le mathématicien britannique Augustus De Morgan (1806-1871).

lois de De Morgan \lwa də də mɔʁ.gɑ̃\ ou \lwa də də mɔʁ.ɡan\ féminin pluriel

1. (Mathématiques) Identités entre propositions logiques :
   • ${\displaystyle {\overline {(A\land B)}}\leftrightarrow ({\overline {A}})\lor ({\overline {B}})}$
   • ${\displaystyle {\overline {(A\lor B)}}\leftrightarrow ({\overline {A}})\land ({\overline {B}})}$

• Lyon (France) : écouter « lois de De Morgan  »

• lois de De Morgan sur l’encyclopédie Wikipédia