Which of the following forms represents the resolution principle?
(PlorQ)land(negPlorR)Rightarrow(QlorR)(P \\lor Q) \\land (\\neg P \\lor R) \\Rightarrow (Q \\lor R)(PlorQ)land(negPlorR)Rightarrow(QlorR)
(PrightarrowQ)landPRightarrowQ(P \\rightarrow Q) \\land P \\Rightarrow Q(PrightarrowQ)landPRightarrowQ
(PrightarrowQ)landnegQRightarrownegP(P \\rightarrow Q) \\land \\neg Q \\Rightarrow \\neg P(PrightarrowQ)landnegQRightarrownegP
PRightarrowPlorQP \\Rightarrow P \\lor QPRightarrowPlorQ