Which of the following is logically equivalent to the implication P ⟹ QP \implies QP⟹Q?
¬Q ⟹ ¬P\neg Q \implies \neg P¬Q⟹¬P
Q ⟹ PQ \implies PQ⟹P
¬P ⟹ ¬Q\neg P \implies \neg Q¬P⟹¬Q
P∨QP \lor QP∨Q