Laws about distributing a [[Disjunction]] or [[Conjunction]] on [[Proposition|Propositions]]. $\huge \begin{align} p \or \pa{q \wedge r) } &= \pa{p \or q} \wedge \pa{p \or r} \\ \\ p \wedge (q \or r) &= (p \wedge q) \or (p \wedge r) \end{align}$