Disjunction of Conjunctions

Theorem

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