Download

(p ∨ q ) ∧ (p ∨ r )