$$ \left(X\rightarrow Y\right)\left(X\rightarrow \overline{Y}\right)\left(\overline{X}\rightarrow \overline{Y}\right) $$

Выразил импликацию через $$ \overline{X}+Y $$ А, что делать дальше? Только через раскрытие скобок и правило поглощения, или есть способ проще?

задан 25 Сен '18 18:51

@dimka11: такой способ довольно быстро приводит к цели, только дизъюнкция -- это V, а знак + используется для суммы по модулю 2 (оно же "исключающее или".

Здесь конъюнкция двух первых членов приводится к not(x), а дальше сразу ясно как.

(25 Сен '18 19:07) falcao

Если бы не было отрицаний, можно было бы использовать правило расщепления

(25 Сен '18 20:56) dimka11

@dimka11: а чем мешают отрицания? Вы же всё уже сделали. (not(x) V y)(not(x) V not(y)) даёт not(x) после вынесения за скобки и применения закона исключённого третьего. Домножаем на x V noy(y), раскрываем скобки. not(x)x=0 по закону противоречия. Остаётся not(x)not(y). Это ответ.

(25 Сен '18 21:57) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×1,327
×809
×395
×150

задан
25 Сен '18 18:51

показан
354 раза

обновлен
25 Сен '18 21:57

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru