Вероятно, лучше использовать раздел математической логики, который изучает высказывания и операции с ними. Особенно, это наверное оправдано, когда задача многокомпонентна и "не прозрачна", как эта. Я сейчас не смогу формализовать такой подход, но попытаюсь подойти к его сути.
Для решения задачи описываются все присутствующие в ней множества и с ними проводятся логические операции.
В данном случае, множества: "Друзья", "Цвет волос" и {Истина, Ложь} (или {1,0}).
Условия задачи дают нам следующие данные:
Скульптор Белов = не белые и не чёрные,
Скрипач Чернов = не чёрные,
Художник Рыжов = не рыжие.
Сопоставление 1-го высказывания с множеством "Цвет волос" даёт нам истину, если Белов = рыжие.
Отсюда следует, что Чернов = не чёрные и не рыжие... Т.е. Чернов = белые.
Отсда следует, что Рыжов = чёрные.
Результат: у художника Рыжова чёрные волосы
Добавить комментарий