Wiktionary
de morgan's law
n. 1 (context mathematics logic English) Either of two laws in formal (l en logic) which state that: 2 # The (l en negation) of a (l en conjunction) is the (l en disjunction) of the negations; expressed in propositional logic as: ¬ (