(¬p∨q) ∧ (p∨¬q∨s) ∧ (¬q∨r∨s)