---
tag: 9A33TE3H3V
kind: statement
role: proposition
name: Distributive laws
sources:
  - wikipedia: en:1557634@r1345686870
    locator: Propositional formula, section Parsing formulas > Distributive laws
    note: adopted
    mention: wikipedia://en/1557634#AWI7
    sections: [Statement]
inventory: [K9J8ZN86EX]
---

## Statement

OR distributes over AND and AND distributes over OR. NOT does not distribute over AND or OR. See below about De Morgan's law:

- Distributive law for OR: ( c ∨ ( a & b) ) ≡ ( (c ∨ a) & (c ∨ b) )
- Distributive law for AND: ( c & ( a ∨ b) ) ≡ ( (c & a) ∨ (c & b) )