Представьте предикат в предваренной нормальной форме

Приведем формулу к ПНФ.
1) Произведем замену переменной х, связанной квантором всеобщности, х = v, и переменной y, связанной квантором существования, y = w:
xP(x, y)yQ(x, y) = vP(v, y)wQ(x, w).
2) Вынесем кванторы в начало формулы, не нарушая их последовательности:
vP(v, y)wQ(x, w) = vw(P(v, y)Q(x, w)) – ПНФ.
Приведем формулу к СНФ, удалив квантор существования