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