Помогите доказать правильность следований - есть ответ

Ответы:

тогда возможно так
((A->B)^(C->D)^(-Bv-D))->(-Av-C)=
=-((-AvB)^(-CvD)^(-Bv-D))v(-Av-C)=
=-(-AvB)v-(-CvD)v-(-Bv-D)v(-Av-C)=
=(A^-B)v(C^-D)v(B^D)v-Av-C=
=(A^-B)v-Av(C^-D)v-Cv(B^D)=
=((Av-A)^(-Bv-A))v((Cv-C)^(-Dv-C))v(B^D)=
=(1^(-Bv-A))v(1^(-Dv-C))v(B^D)=
=(-Bv-A)v(-Dv-C)v(B^D)=
=-Bv(B^D)v-Av-Dv-C=
=((-BvB)^(-BvD))v-Av-Dv-C=
=(1^(-BvD))v-Av-Dv-C=
=-BvDv-Dv-Av-C=
=-Bv1v-Av-C=1

12 лет назад

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

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

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