математическая логика - есть ответ

Ответы:

Images

B^neD^(DvC)->neA
B^D^C->neA

((C->B)^(A->¬D)^(DvC))->(¬B->¬A)=
=-((-CvB)^(-Av-D)^(DvC))v(Bv-A)=
=-(-CvB)v-(-Av-D)v-(DvC)v(Bv-A)=
=(C^-B)v(A^D)v(-D^-C)vBv-A=
=(C^-B)vBv(A^D)v-Av(-D^-C)=
=((CvB)^(-BvB))v((Av-A)^(Dv-A))v(-D^-C)=
=((CvB)^1)v(1^(Dv-A))v(-D^-C)=
=(CvB)v(Dv-A)v(-D^-C)=
=CvBv-Av(-D^-C)vD=
=CvBv-Av((-DvD)^(-CvD))=
=CvBv-Av(1^(-CvD))=
=CvBv-Av(-CvD)=
=Cv-CvBv-AvD=
=1vBv-AvD=1

18 лет назад

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

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

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