De Morgan's law

Short definition from Wiktionary

Noun

1. 1
   Either of two laws in formal logic which state that: The negation of a conjunction is the disjunction of the negations; expressed in propositional logic as: ¬ (𝑝 ∧ 𝑞) ⇔ (¬ 𝑝) ∨ (¬ 𝑞)
2. 2
   Either of two laws in formal logic which state that: The negation of a disjunction is the conjunction of the negations; expressed in propositional logic as: ¬ (𝑝 ∨ 𝑞) ⇔ (¬ 𝑝) ∧ (¬ 𝑞)
3. 3
   Either of two laws in set theory which state that: The complement of a union is the intersection of the complements; as expressed by: (𝐴 ∪ 𝐵)′ = 𝐴′ ∩ 𝐵′
4. 4
   Either of two laws in set theory which state that: The complement of an intersection is the union of the complements; as expressed by: (𝐴 ∩ 𝐵)′ = 𝐴′ ∪ 𝐵′
5. 5
   Any of various laws similar to De Morgan’s laws for set theory and logic; for example: ¬∀𝑥 𝑃(𝑥) ⇔ ∃𝑥 ¬𝑃(𝑥)