Absorption Laws (Logic)/Disjunction Absorbs Conjunction

Theorem

 * $p \lor \left ({p \land q}\right) \dashv \vdash p$

This can be expressed as two separate theorems:

Also see

 * Absorption Laws (Set Theory)
 * Absorption Laws (Lattice Theory)