Автор Big Den задал вопрос в разделе Домашние задания
(информатика)Решить логическую задачу, используя только алгебраические преобразования: и получил лучший ответ
Ответ от МКУ ОО методический кабинет[гуру]
Решение:
Браун: синий и Бьюик (СБ)
Джонс: черный и Крайслер (ЧК)
Смит: не синий и Форд ((неС) Ф)
Так как в каждом высказывании одно утверждение истинно то истинными будут высказывания
С+Б=1, Ч+К=1, неС+Ф=1. Следовательно истинной будет и коньюнкция этих высказываний
(С+Б) (Ч+К) ((неС) +Ф) =1. Расскроем скобки
(СЧ+БЧ+КС+БК) ((неС) +Ф) =1
(неС) СЧ+(неС) БЧ+(неС) КС+(неС) БК+ФСЧ+ФБЧ+ФКС+ФБК=1
(неС) С=0, поэтому (неС) СЧ=0, (неС) КС=0
(неС) БК=0, ФСЧ=0 ФБЧ=0, ФКС=0, ФБК=0 в этих записях либо не менее двух автомобилей, либо два цвета, а автомобиль и цвет должны определяться однозначно.
Остается (неС) БЧ=1, что означает не синий, черный бьюик.
Ответ: черный бьюик
черный форд
черный Бьюик
Чёрный Бьюик!
Решение: Браун-синий Бьюик; Джонс-чёрный крайслер; Смит-не синий Форд! Если Джонс сказал про цвет правду, значит машина не крайслер! и следовательно браун про цвет соврал, а про марку сказал верно! это Бьюик! А Смит про цвет не солгал: машина не синяя! а то, что это форд-это ложь! вот и всё!