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