Which of the following propositions is a tautology?
(P ⟹ Q) ⟺ (¬P∨Q)(P \implies Q) \iff (\neg P \lor Q)(P⟹Q)⟺(¬P∨Q)
(P ⟹ Q) ⟺ (Q ⟹ P)(P \implies Q) \iff (Q \implies P)(P⟹Q)⟺(Q⟹P)
P∨(P∧Q)P \lor (P \land Q)P∨(P∧Q)
P ⟺ (P∧Q)P \iff (P \land Q)P⟺(P∧Q)