Привести до випередженої нормальної форми формулу \forall x \overline{ \exists y (P(x) o Q(y))}

Question

Привести до випередженої нормальної форми формулу     \forall x \overline{ \exists y (P(x)	o Q(y))}

Answer

\forall x \forall y(P(x)\vee \overline{Q}(y))

Answer

\exists x \exists y( \overline{P}(x)\vee Q(y))

Answer

\forall x \forall y(P(x)\wedge \overline{Q}(y))

Answer

\exists x \forall y(\overline{P}(x)\vee Q(y))

Answer

\forall x \exists y(P(x)\vee \overline{Q}(y))

Answer

\forall x \exists y(P(x)\wedge \overline{Q}(y))

Crowdly