Помогите с расчетами ПНФ

[Nastya9425]

помогите мнее! не могу разобраться с ПНФ! некоторые задания решила, но не могу понять как поступить тут   (квантор "для любого" буду указывать как А,найдется Е)
(Аx)(Еy)(Еz)(Au)P(x,y,z,u) v (Аx)(Еy)(Еz)(Au)P(x,y,z,u)

[mad_math]

Для квантора существования \( \mathcal {9} xP(x)\vee\mathcal {9} xQ(x)\equiv \mathcal {9} x(P(x)\vee Q(x)) \)
Для квантора всеобщности: \( \forall xP(x)\vee\forall xQ(x)\to \forall x(P(x)\vee Q(x)) \) - только в одну сторону.
Если сомневаетесь, можно переименовать связанные переменные во втором предикате.