De Morgan's laws: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

20 October 2025

  • curprev 14:3114:31, 20 October 2025Bfh-sts talk contribs 1,273 bytes +1,273 Created page with "= De Morgan's laws = De Morgan's laws describe the interaction between negation, conjunction, and disjunction. They provide rules for transforming logical statements into equivalent forms. == Statements == * ¬(p ∧ q) ≡ ¬p ∨ ¬q * ¬(p ∨ q) ≡ ¬p ∧ ¬q == Explanation == Negating a conjunction is equivalent to the disjunction of the negations. Negating a disjunction is equivalent to the conjunction of the negations. These transformations are widely u..."