Приведите формулу к КНФ (p^q)<=>(-q^r).

Компьютеры программирование программы математика Математика

Здравствуйте! Помогите выполнить задания по предмету "Системы искусственного интеллекта". Сижу ломаю голову и ни как на ум ни чего не приходит. Заранее Вам благодарен!
Ответы:
Операция эквивалентности <=> раскрывается так:
X <=> Y = (X -> Y) /\ (Y -> X) = (-X V Y) /\ (-Y V X)
Так и делаем
(-(p /\ q) V (-q /\ r)) /\ (-(-q /\ r) V (p /\ q)) = (-p V -q V (-q /\ r)) /\ (q V r V (p /\ q))
По закону поглощения
X V (X /\ Y) = X
Поэтому
-q V (-q /\ r) = -q
q V (p /\ q) = q
Подставляем
(-p V -q V (-q /\ r)) /\ (q V r V (p /\ q)) = (-p V -q) /\ (q V r) = (-p /\ q) V (-q /\ q) V (-p /\ r) V (-q /\ r) =
= (-p /\ q) V 0 V (-p /\ r) V (-q /\ r) = (-p /\ q) V (-p /\ r) V (-q /\ r)


11 лет назад

RPI.su - самая большая русскоязычная база вопросов и ответов. Наш проект был реализован как продолжение популярного сервиса otvety.google.ru, который был закрыт и удален 30 апреля 2015 года. Мы решили воскресить полезный сервис Ответы Гугл, чтобы любой человек смог публично узнать ответ на свой вопрос у интернет сообщества.

Все вопросы, добавленные на сайт ответов Google, мы скопировали и сохранили здесь. Имена старых пользователей также отображены в том виде, в котором они существовали ранее. Только нужно заново пройти регистрацию, чтобы иметь возможность задавать вопросы, или отвечать другим.

Чтобы связаться с нами по любому вопросу О САЙТЕ (реклама, сотрудничество, отзыв о сервисе), пишите на почту [email protected]. Только все общие вопросы размещайте на сайте, на них ответ по почте не предоставляется.