Distributive 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:3014:30, 20 October 2025Bfh-sts talk contribs 1,515 bytes +1,515 Created page with "= Distributive laws = The distributive laws describe how conjunction and disjunction distribute over each other. They show that a conjunction can be distributed over a disjunction, and a disjunction can be distributed over a conjunction. == Statements == * p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) * p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r) == Explanation == These rules are similar to the distributive property in arithmetic. They allow logical formulas to be r..."