Помогите привести к ДНФ

математика обучение Образование логика информатика

Вот пример: ((В или А) => ((не А и В) или (А => С))) и С
Ответы:
Импликация преобразуется по такой формуле: (X => Y) = (~X V Y), поэтому
((B V A) => ((~A & B) V (A => C))) & C =
= ((B V A) => ((~A & B) V (~A V C))) & C =
= ((B V A) => ((~A & B) V ~A V C)) & C
По закону поглощения (~A & B) V ~A = ~A, поэтому
((B V A) => ((~A & B) V ~A V C)) & C =
= ((B V A) => (~A V C)) & C =
= (~(B V A) V (~A V C)) & C =
= ((~B & ~A) V ~A V C) & C =
= (~A V C) & C = C


11 лет назад

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

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

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