What is the conjunctive normal form (CNF) of PleftrightarrowQP \\leftrightarrow QPleftrightarrowQ?
(negPlorQ)land(PlornegQ)(\\neg P \\lor Q) \\land (P \\lor \\neg Q)(negPlorQ)land(PlornegQ)
(PlandQ)lor(negPlandnegQ)(P \\land Q) \\lor (\\neg P \\land \\neg Q)(PlandQ)lor(negPlandnegQ)
(negPlandQ)lor(PlandnegQ)(\\neg P \\land Q) \\lor (P \\land \\neg Q)(negPlandQ)lor(PlandnegQ)
(negPlornegQ)land(PlorQ)(\\neg P \\lor \\neg Q) \\land (P \\lor Q)(negPlornegQ)land(PlorQ)