What is the result of applying the Consensus Theorem: (P∧Q)∨(¬P∧R)∨(Q∧R)(P \land Q) \lor (\neg P \land R) \lor (Q \land R)(P∧Q)∨(¬P∧R)∨(Q∧R)?
(P∧Q)∨(¬P∧R)(P \land Q) \lor (\neg P \land R)(P∧Q)∨(¬P∧R)
(P∧Q)∨(¬P∧R)∨(Q∧R)(P \land Q) \lor (\neg P \land R) \lor (Q \land R)(P∧Q)∨(¬P∧R)∨(Q∧R)
(P∧Q)∨Q(P \land Q) \lor Q(P∧Q)∨Q
P∨QP \lor QP∨Q