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