förenkla

Hej

jag har en sats som jag ska förenkla men jag förstår inte riktigt hur det ska gå till.

Förenkla $not\left(\forall y\exists x\left(P\right(x,y)\Rightarrow Q(x,y\left)\right)\right)$

Reglerna som man kan använda sig av är att 

$$\begin{gathered} not\left(\forall x,P\left(x\right)\right)\leftrightarrow \exists x\left(notP\left(x\right)\right) \\ not\left(\exists x,P\left(x\right)\right)\leftrightarrow \forall x\left(notP\left(x\right)\right) \end{gathered}$$

Vi har alltså att För alla element y finns ett element x sådant att P(x,y) implicerar Q(x,y) men sedan har vi ju (not) framför så alltså betyder väl det att satsen inte stämmer, men hur ska man förenkla den?