Упростите логическое выражение

Компьютеры математика Образование школа логика

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

((((not A → not B) → not C) → A) → B) → C

Примечание:
мне желателен ответ..
не помню логику..

и в примере вроде нет двойного отрицания..
Ответы:
not A → not B = (not not A) + not B = A + not B
(not A → not B) → not C = (A + not B) → not C = not (A + not B) + not C = not ((A + not B) & С)
((not A → not B) → not C) → A = not ((A + not B) & С) → A = (not not ((A + not B) & С)) + A =
((A + not B) & С) + A =  (A + not B + A) & (С + A) = (A + not B) & (С + A) = A + (С & not B)
(((not A → not B) → not C) → A) → B =  ( A + (С & not B)) → B = not (A + (С & not B)) + B =
(not A & not (С & not B)) + B = (not A & (not С + B)) + B = (not A + B) & (not С + B + B) =
(not A + B) & (not С + B) = B & (not A + not C)
((((not A → not B) → not C) →  A) → B) → C = (B & (not A + not C)) → C =
not (B & (not A + not C)) + C = not B + not (not A + not C) + C = not B + not not (A & C) + C =
not B + A & C + C = not B + A & C + C & 1 = not B + (A + 1) & C = not B + 1 & C = not B + C


13 лет назад

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

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

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