Which expression is logically equivalent to P ⟹ QP \implies QP⟹Q?
¬Q ⟹ ¬P\neg Q \implies \neg P¬Q⟹¬P
¬P ⟹ ¬Q\neg P \implies \neg Q¬P⟹¬Q
P∧¬QP \land \neg QP∧¬Q
P∨¬QP \lor \neg QP∨¬Q