Conjunction with Law of Excluded Middle

Theorem

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