|
$$\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 |
Здравствуйте
Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.
Присоединяйтесь!
отмечен:
задан
16 Май '16 2:15
показан
444 раза
обновлен
16 Май '16 3:29
Связанные исследования
Связанные вопросы
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Помогите пожалуйста продолжить. Нужно получить ПНФ
Надо переименовать связанные переменные во второй формуле. Остальное просто.
$$\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 =}.$$
А дальше как?
Теперь, когда всё совершенно независимо, написать спереди все четыре квантора в порядке следования, а за ними в скобках дизъюнкцию.