De Morgan's laws

American  

[dih mawr-guhnz lawz] / dɪ ˈmɔr gənz ˈlɔz /

Also De Morgan's law

noun

1. (used with a plural verb)  two laws, one stating that the denial of the conjunction of a class of propositions is equivalent to the disjunction of the denials of a proposition, and the other stating that the denial of the disjunction of a class of propositions is equivalent to the conjunction of the denials of the propositions.

2. (used with a singular verb)  the theorem of set theory that states that the complement of the union of two sets is equal to the intersection of the complements of the sets and that the complement of the intersection of two sets is equal to the union of the complements of the sets.

---

De Morgan's laws British  

plural noun

1. (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

---

Etymology

Origin of De Morgan's laws

First recorded in 1915–20; named after A. De Morgan