Hey,
How do you go from p <-> q to (p /\ q) V (~p /\ ~q) using equivalencies in logic statements. I get 3 or 4 steps through, then I get stuck. Any ideas?

p <-> q
(p -> q) /\ (q -> p)
(~p V q) /\ (~q V p)
Then what??