# lois de De Morgan

## Français

### Étymologie

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

### Locution nominale

lois de De Morgan féminin pluriel

* (Mathématiques) Identités entre propositions logiques :
   * (A∧B)¯↔(A¯)∨(B¯)
   * (A∨B)¯↔(A¯)∧(B¯)

**Traductions**

* Anglais : De Morgan’s laws (en)
