Дискретная математика, привести формулу к нормальной форме

[xlmax]

Дискретная математика. Логика предикатов. Привести формулу к приведенной нормальной  форме с помощью равносильных преобразований.

\( \rightharpoondown \exists x(\exists yP(x,y) \wedge  \forall yQ(x,y)) \vee   \exists yR(y) = \)

\( = \forall  x\rightharpoondown(\exists yP(x,y) \wedge  \forall yQ(x,y)) \vee   \exists yR(y) =  \)

\( = \forall  x(\forall  y\rightharpoondown P(x,y) \vee   \exists  y\rightharpoondown Q(x,y)) \vee  \exists yR(y) =  \)

А дальше не знаю что сделать. За скобку бы кванторы повыносить, но не знаю как.