Determine which of the following logical equivalences are correct.
P→Q≡¬P∨QP \rightarrow Q \equiv \neg P \lor QP→Q≡¬P∨Q
P↔Q≡(P→Q)∧(Q→P)P \leftrightarrow Q \equiv (P \rightarrow Q) \land (Q \rightarrow P)P↔Q≡(P→Q)∧(Q→P)
¬(P∧Q)≡¬P∨¬Q\neg(P \land Q) \equiv \neg P \lor \neg Q¬(P∧Q)≡¬P∨¬Q
P→Q≡¬Q→¬PP \rightarrow Q \equiv \neg Q \rightarrow \neg PP→Q≡¬Q→¬P