Conjunction of Disjunctions with Complements implies Disjunction

Theorem

 * $\paren {p \lor r} \land \paren {q \lor \neg r} \vdash p \lor q$