Absorption Laws (Logic)/Disjunction Absorbs Conjunction/Reverse Implication

Theorem

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

Proof
By the tableau method of natural deduction: