Logic Equivalence

[INF3RN0666]

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??

[TBeck]

It looks like you will have to use /\ elimination and work with
(~p V q) and (~q V p) separatly
the you will probably have to use \/ elimination and assumptions to come up with the conclusions
(p /\ q) and (~p /\ ~q)

i will probably take a look at this later on if you still havnt worked it out.