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