Conjunction of Disjunctions Consequence

Theorem

 * $(p \lor q) \land (r \lor s) \vdash p \lor r \lor (q \land s)$