Conjunction implies Disjunction of Conjunctions with Complements

Theorem

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