Distributive laws Glossary
Definition
In propositional logic, and hence in first order logic, the distributive laws are equivalences which allow conjunction to be moved inside disjunction and vice versa, thus:
p AND (q
OR r) ⊣⊢ (p
AND q) OR (p
AND r)
p OR (q
AND r) ⊣⊢ (p
OR q) AND (p OR r)