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