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