|
$$ \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 |
Здравствуйте
Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.
Присоединяйтесь!
отмечен:
задан
25 Сен '18 18:51
показан
1260 раз
обновлен
25 Сен '18 21:57
Связанные исследования
Связанные вопросы
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
@dimka11: такой способ довольно быстро приводит к цели, только дизъюнкция -- это V, а знак + используется для суммы по модулю 2 (оно же "исключающее или".
Здесь конъюнкция двух первых членов приводится к not(x), а дальше сразу ясно как.
Если бы не было отрицаний, можно было бы использовать правило расщепления
@dimka11: а чем мешают отрицания? Вы же всё уже сделали. (not(x) V y)(not(x) V not(y)) даёт not(x) после вынесения за скобки и применения закона исключённого третьего. Домножаем на x V noy(y), раскрываем скобки. not(x)x=0 по закону противоречия. Остаётся not(x)not(y). Это ответ.