Disjunction of Conjunctions

Theorem

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

Proof by Natural Deduction
By the tableau method: