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

[zayazayka]

Добрый день
Мне нужно привести формулу к предваренной форме
$(\forall x\, \exists y\, Q(x,y))\to((\exists y\,Q(x,y))\vee\, R(x,y))$

частично сделала, но не пойму правильно ли, и что делать дальше:
$\neg(\forall x\, \exists y\, Q(x,y))\vee((\exists y\,Q(x,y))\vee\, R(x,y))$
$\neg\forall x\,( \exists y\, Q(x,y))\vee((\exists y\,Q(x,y))\vee\, R(x,y))$
$\exists x\,\neg( \exists y\, Q(x,y))\vee((\exists y\,Q(x,y))\vee\, R(x,y))$
$\exists x\,\neg( \exists y\, Q(x,y))\vee\exists y\,(Q(x,y)\vee\, R(x,y))$
$\exists x\,\forall y\, \neg\ Q(x,y)\vee\exists y\,(Q(x,y)\vee\, R(x,y))$