What is a De Morgan's law? Here are some definitions.
Noun
(mathematics) 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:βΒ¬ (π β§ π) β (Β¬ π) β¨ (Β¬ π)
The negation of a disjunction is the conjunction of the negations; expressed in propositional logic as:βΒ¬ (π β¨ π) β (Β¬ π) β§ (Β¬ π)
(mathematics) Either of two laws in set theory which state that: