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