De Morgan's laws
WiktionaryText
Noun
De Morgan's laws plural
- The laws of formal logic that state that the negation of a conjunction of two terms is the disjunction of the negations of each of the terms, and the negation of a disjunction of two terms is the conjunction of the negations of each of the terms.