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