Identify the logical equivalent of P ⟹ QP \implies QP⟹Q using only ¬\neg¬ and ∧\land∧.
¬(P∧¬Q)\neg(P \land \neg Q)¬(P∧¬Q)
¬P∧Q\neg P \land Q¬P∧Q
¬(P∨Q)\neg(P \lor Q)¬(P∨Q)
P∧¬QP \land \neg QP∧¬Q