В формуле указать свободные и связанные переменные

В заданной формуле все переменные связанные. Приводим ее к предваренной нормальной форме.
F=∃x∀yAx,y→∀x∃yBx,y=∃x∀yAx,y ∨∀x∃yBx,y=
(использовалась равносильность А→B=A ∨B)
=∀x∀yAx,y ∨∀x∃yBx,y=
(использовалась равносильность ∃xF(x)= ∀xF(x))
=∀x∃yAx,y ∨∀x∃yBx,y=
(использовалась равносильность ∀xF(x)= ∃xF(x))
=∀x∃yAx,y ∨∀z∃yBz,y=
(переименование)
=∀x∀z(∃yAx,y ∨∃yBz,y)= ∀x∀z∃y(Ax,y ∨Bz,y)
(равносильность ∃x(F(x) ∨G(x)) = ∃xF(x) ∨∃xG(x)).
∀x∀z∃y(Ax,y ∨Bz,y) - предваренная нормальная форма.
Все переменные связанные.