Conjunctive/disjunctive normal form

Main Question or Discussion Point

Let's say I have p<-> q.. how do I get the disjunctive and conjunctive normal form ? I think I'd have to apply DeMorgan to get one of them. I don't know. Can anybody please explain this to me?

Related Set Theory, Logic, Probability, Statistics News on Phys.org
p<->q = (p $$\wedge$$ q) $$\vee$$ (~p $$\wedge$$ ~q)
=(p $$\wedge$$ q) $$\vee$$ (~p $$\wedge$$ ~q) $$\vee$$ (p $$\wedge$$ ~p) $$\vee$$ (q $$\wedge$$ ~q)
=(~p $$\vee$$ q) $$\wedge$$ (~q $$\vee$$ p)

So, the form in red is DNF, while the form in blue is CNF.