Which of the following is equivalent to P ⟺ QP \iff QP⟺Q using only ¬\neg¬ and ∨\lor∨?
(¬P∨Q)∧(¬Q∨P)(\neg P \lor Q) \land (\neg Q \lor P)(¬P∨Q)∧(¬Q∨P)
(¬P∧Q)∨(¬Q∧P)(\neg P \land Q) \lor (\neg Q \land P)(¬P∧Q)∨(¬Q∧P)
¬(P∨Q)∧(P∨Q)\neg(P \lor Q) \land (P \lor Q)¬(P∨Q)∧(P∨Q)
P∨(¬Q∧P)P \lor (\neg Q \land P)P∨(¬Q∧P)