Math 2.0

Proposition

Distributive laws

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) )

Further reading

  1. Wikipedia, page 1557634, revision 1345686870, Propositional formula, section Parsing formulas > Distributive laws. adopted
About this page
Tag9A33TE3H3V
URIm2://9A33TE3H3V
Kindstatement, proposition
WritingW0 stub
StatusThis copy of the site has no build data. Run m2 status 9A33TE3H3V.
Changed4 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • edge uses out: each definition that the statement needs (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.