1)

a/
Regra de Equivalência:
¬∃x(H) ↔ ∀x(¬H) (Esq→Dir)

Fbf Alvo: -> ∀x(∀y(¬(p(x, y) ∧ p(z,x)) ∧ q(x,y)))

∀x(¬∃y((p(x, y) ∧ p(z,x)) ∧ q(x,y)))

b/
Regra de Equivalência:
¬∀x(H) ↔ ∃x(¬H) (Esq→Dir)

Fbf Alvo: -> ∃x(¬∃y(¬¬t(x) ∨ ¬q(x,y)))

¬∀x(∃y(¬¬t(x) ∨ ¬q(x,y)))

c/
Regra de Equivalência:
∃x(H) ↔ ¬∀x(¬H) (Esq→Dir)

Fbf Alvo: -> ¬∀x(¬¬∀y(¬t(z) → j(x,y)))

¬∀x(¬∃y(t(z) → j(x,y)))

d/
Regra de Equivalência:
∀x(H) ↔ ¬∃x(¬H) (Esq→Dir)
-> ¬∃x(¬∃y((t(z,x) ↔ j(x,y)) ↔ w(x, z)))
Fbf Alvo:
∀x(∃y((t(z,x) ↔ j(x,y)) ↔ w(x, z)))