$$\overline{\exists x\forall yP\left(x,\ y\right)\wedge \overline{\exists x\forall yQ\left(x,\ y\right)}}=\overline{\exists x\forall yP\left(x,\ y\right)}\vee \exists x\forall yQ\left(x,\ y\right)=\forall x\exists y\overline{P\left(x,\ y\right)}\vee \exists x\forall yQ\left(x,\ y\right)=\dots $$ задан 16 Май '16 2:15 lisp |
Помогите пожалуйста продолжить. Нужно получить ПНФ
Надо переименовать связанные переменные во второй формуле. Остальное просто.
$$\overline{\exists x\forall yP\left(x{\rm ,\ }y\right)\wedge \overline{\exists x\forall yQ\left(x{\rm ,\ }y\right)}}{\rm =}\overline{\exists x\forall yP\left(x{\rm ,\ }y\right)}\vee \exists x\forall yQ\left(x{\rm ,\ }y\right){\rm =}\forall x\exists y\overline{P\left(x{\rm ,\ }y\right)}\vee \exists x\forall yQ\left(x{\rm ,\ }y\right){\rm =}\forall x\exists y\overline{P\left(x{\rm ,\ }y\right)}\vee \exists z\forall tQ\left(z{\rm ,\ }t\right){\rm =}.$$
А дальше как?
Теперь, когда всё совершенно независимо, написать спереди все четыре квантора в порядке следования, а за ними в скобках дизъюнкцию.