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

 * align="right" | 2 ||
 * align="right" | -
 * $r \lor \neg r$
 * LEM
 * (None)
 * (None)