A¬p∨q∨¬p∨rB(¬p∨q)∧(¬p∨r)C(¬p∨q)∧rDq∧(¬p∨r)