По умолчанию Проверить правильность логического вывода
Методом прямого преобразования, методом семантических таблиц и методом резалюций.
Задача:
Надо купить рубашку, которая может быть или белой, или голубой или розовой. Если будет куплена голубая или розовая рубашка, то она будет шерстяной. Если же будет куплена льняная или шерстяная рубашка, то она будет белой или голубой. Вывод: если будет куплена голубая рубашка, то она будет шерстяной.
Приму любую помощь и подсказки по решению. Заранее спасибо.
Методом прямого преобразования, методом семантических таблиц и методом резалюций.
Задача:
Надо купить рубашку, которая может быть или белой, или голубой или розовой. Если будет куплена голубая или розовая рубашка, то она будет шерстяной. Если же будет куплена льняная или шерстяная рубашка, то она будет белой или голубой. Вывод: если будет куплена голубая рубашка, то она будет шерстяной.
Приму любую помощь и подсказки по решению. Заранее спасибо.