Conjunction of Disjunctions with Complements implies Disjunction

Theorem

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