Law of Excluded Middle for Two Variables

Theorem

 * $\vdash (p \land q) \lor (\lnot p \land q) \lor (p \land \lnot q) \lor (\lnot p \land \lnot q)$