What is the Skolem normal form of the first-order logic sentence ∃x∀y∃z∀w(P(x,y)∧Q(z,w))\exists x \forall y \exists z \forall w (P(x, y) \land Q(z, w))∃x∀y∃z∀w(P(x,y)∧Q(z,w))?
∀y∀w(P(c,y)∧Q(f(y),w))\forall y \forall w (P(c, y) \land Q(f(y), w))∀y∀w(P(c,y)∧Q(f(y),w))
∀y∀w(P(c,y)∧Q(g(w),w))\forall y \forall w (P(c, y) \land Q(g(w), w))∀y∀w(P(c,y)∧Q(g(w),w))
∀y∀w(P(f(y),y)∧Q(g(y,w),w))\forall y \forall w (P(f(y), y) \land Q(g(y, w), w))∀y∀w(P(f(y),y)∧Q(g(y,w),w))
∀y∀w(P(c,y)∧Q(c,w))\forall y \forall w (P(c, y) \land Q(c, w))∀y∀w(P(c,y)∧Q(c,w))