Lois de De Morgan

Représentation graphique des lois de De Morgan.

Les lois de De Morgan ou plus simplement lois de Morgan, sont des identités entre propositions logiques. Elles ont été formulées par le mathématicien britannique Augustus De Morgan (1806-1871).