Conjunction implies Disjunction of Conjunctions with Complements

Theorem

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

Proof by Natural deduction
This is proved by the Tableau method: