алгебра логика

алгебра логика инфор


Упростите логическое выражение или укажите его результат (при его однозначности). Результат упрощения может содержать только операции инверсии, конъюнкции и дизъюнкции.

((((A → B) → C) → not A) → not B) → not C
Ответы:
A → B = not A + B
(A → B) → C = (not A + B) → C = not (not A + B) + C = (not not A & not B) + С = (A & not B) + С
((A → B) → C) → not A = ((A & not B) + С) → not A = not ((A & not B) + С) + not A =
((A & not B) + С) & A =  (A & not B & A) + (С & A) = (A & not B) + (С & A) = A & (С + not B)
(((A → B) → C) → not A) → not B =  (A & (С + not B)) → not B = not (A & (С + not B)) + not B =
(A & (С + not B)) & B = A & ((С + not B) & B) = A & ((С & B) + (not B & B)) =
A & ((С & B) + 0) =  A & (С & B)
((((A → B) → C) → not A) → not B) → not C = (A & (С & B)) → not C =
not (A & (С & B)) + not C = not (A & (С & B) & C) = not (A & B & С)


13 лет назад

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

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

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