Логика предикатов

Помогите пожалуйста продолжить. Нужно получить ПНФ

Надо переименовать связанные переменные во второй формуле. Остальное просто.

$$\overline{\exists x\forall yP\left(x{\rm ,\ }y\right)\wedge \overline{\exists x\forall yQ\left(x{\rm ,\ }y\right)}}{\rm =}\overline{\exists x\forall yP\left(x{\rm ,\ }y\right)}\vee \exists x\forall yQ\left(x{\rm ,\ }y\right){\rm =}\forall x\exists y\overline{P\left(x{\rm ,\ }y\right)}\vee \exists x\forall yQ\left(x{\rm ,\ }y\right){\rm =}\forall x\exists y\overline{P\left(x{\rm ,\ }y\right)}\vee \exists z\forall tQ\left(z{\rm ,\ }t\right){\rm =}.$$

А дальше как?

Теперь, когда всё совершенно независимо, написать спереди все четыре квантора в порядке следования, а за ними в скобках дизъюнкцию.