What is the logical equivalence of Prightarrow(QrightarrowR)P \\rightarrow (Q \\rightarrow R)Prightarrow(QrightarrowR)?
(PlandQ)rightarrowR(P \\land Q) \\rightarrow R(PlandQ)rightarrowR
(PrightarrowQ)rightarrowR(P \\rightarrow Q) \\rightarrow R(PrightarrowQ)rightarrowR
Prightarrow(QlandR)P \\rightarrow (Q \\land R)Prightarrow(QlandR)
(PlorQ)rightarrowR(P \\lor Q) \\rightarrow R(PlorQ)rightarrowR