Which of the following is equivalent to P ⟺ QP \iff QP⟺Q?
(P ⟹ Q)∧(Q ⟹ P)(P \implies Q) \land (Q \implies P)(P⟹Q)∧(Q⟹P)
(P ⟹ Q)∨(Q ⟹ P)(P \implies Q) \lor (Q \implies P)(P⟹Q)∨(Q⟹P)
P ⟹ (Q∧P)P \implies (Q \land P)P⟹(Q∧P)
¬P ⟺ ¬Q\neg P \iff \neg Q¬P⟺¬Q