The logically equivalent proposition of p⇔q is
(p∧q)∨(p∧q)
(p⇒q)∧(q⇒p)
(p∧q)∧(q⇒p)
(p∧q)⇒(p∨q)
(p⇒q)∧(q⇒q) means p⇔q