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