Disjunction of Conjunctions

Theorem

 * $$\left({p \and q}\right) \or \left({r \and s}\right) \vdash p \or r$$

Proof by Natural Deduction
By the tableau method: