The proposition (P ⟹ (Q ⟹ R)) ⟹ ((P ⟹ Q) ⟹ (P ⟹ R))(P \implies (Q \implies R)) \implies ((P \implies Q) \implies (P \implies R))(P⟹(Q⟹R))⟹((P⟹Q)⟹(P⟹R)) is logically equivalent to which of the following?
A∨¬AA \lor \neg AA∨¬A
A∧¬AA \land \neg AA∧¬A
P ⟹ RP \implies RP⟹R
Q ⟹ RQ \implies RQ⟹R