Consider the following premises. t -> p. t or ~p. Can we infer ~(p <-> t) from them?
 From t or ~p we can infer p -> t. Finally, from p -> t, t -> p we can infer p <-> t, which contradicts ~(p <-> t). Therefore, the answer is no.