Математическая логика, предваренная нормальная форма

[SunLine]

Здравствуйте! Знаю, что такое ПНФ
Формула G имеет предваренную нормальную форму (сокращенно: ПНФ), если
$ G(Q_1,x_1)…(Q_n,x_n)H $,
где $Q_1,…,Q_n$ - кванторы, а формула H не содержит кванторов.

Само задание:
$\bar{\forall z} \exists y \forall x \bar{P(x,y)} \wedge Q(z)$

Не знаю, как подступиться. Напрягает, что $\bar{\forall z}$ в одной части, а $Q(z)$ в другой относительно конъюнкции

[AKM]

Ошибка (не единственная) в том, что формулу надо обрамлять парой долларов.
У Вас ещё есть время исправить, кнопка пока активна.
И остальные формулы.

[SunLine]

Исправил, спасибо...

[Slow]

Зачем здесь квантор $\forall z$? Может нужно расставить скобки? Если нет, то его можно убрать вообще, а формулу $Q(z)$ внести под кванторы по $x$ и $y$, т.к она от них не зависит.