Consider the following premises. p or ~q. q or ~p. Can we infer q <-> p from them?
 From q or ~p we can infer p -> q. From p or ~q we can infer q -> p. Finally, from q -> p, p -> q we can infer q <-> p. Therefore, the answer is yes.