Definition. De Morgan's Laws [000g]

  • November 22, 2025

De Morgan's laws describe how negation interacts with conjunction and disjunction in propositional logic. They state that:

\[ \begin {align*} \neg (p \land q) &\equiv \neg p \lor \neg q \\ \neg (p \lor q) &\equiv \neg p \land \neg q \end {align*} \]