De Morgan's laws

(redirected from De Morgan theorem)
Related to De Morgan theorem: Boolean algebra, De Morgan law

De Morgan's laws

pl n
(Logic) (in formal logic and set theory) the principles that conjunction and disjunction, or union and intersection, are dual. Thus the negation of P & Q is equivalent to not-P or not-Q
[named after Augustus De Morgan (1806–71), British mathematician]
Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014