De Morgan's theorem

noun
De Mor·​gan's theorem | \ də̇ˈmȯrgənz-, dēˈ-\

Definition of De Morgan's theorem

: one of a pair of theorems in logic: the denial of a conjunction is equivalent to the alternation of the denials and the denial of an alternation is equivalent to the conjunction of the denials

History and Etymology for De Morgan's theorem

after Augustus De Morgan †1871 English mathematician

Keep scrolling for more