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). En logique classique, la négation de la disjonction de deux propos…