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

Ответы:

Ответ на этот элементарный вопрос можно найти в википедии.

z->(x v y) =not z v x v y
(z->x)=not z v x
(x->y)= not x v y
(z->x)->(x->y)=not(not z v x) v not x v y=z * not x v not x v y=not x (z v 1) v y = not x v y
У меня получилось неверно.

Vitkoriya Tabanina

┐-"не"
┐Z v X v Y = (┐Z v X) -> (┐XvY)
┐Z v X v Y = ┐(┐Z v X) v ( ┐X v Y)
┐Z v X v Y = (Z И ┐X) v ┐XvY
┐Z v X v Y = ┐X v Y
=> Равенство неверно.

11 лет назад

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

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

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