Single Idea 9527

[catalogued under 4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / d. Basic theorems of PL]

Full Idea

The Distributive Laws say that P ∧ (Q∨R) -||- (P∧Q) ∨ (P∧R), and that P ∨ (Q∨R) -||- (P∨Q) ∧ (P∨R)

Gist of Idea

The Distributive Laws can rearrange a pair of conjunctions or disjunctions

Source

E.J. Lemmon (Beginning Logic [1965], 2.2)

Book Reference

Lemmon,E.J.: 'Beginning Logic' [Nelson 1979], p.62