Morgan (lois de de -) [Augustus de Morgan, mathématicien britannique (1806-1871)] (1) :

Formules de théorie des ensembles rendant compte des propriétés liant intersection, réunion et passage au complémentaire.
Soit A et B deux sous-ensembles d'un ensemble E. Alors :

(AB)^c=A^cB^c et (AB)^c=A^cB^c.