задача энштейна, можно перенести в раздел общение Опции

[sifadin]

Здравствуйте!
Есть известная хохма, которую Энштейн якобы решил в уме
Предлагают ее как задачу на логику
А меня интересует наоборот, как ее можно решить с помощью формул, аналитически.
Какую систему уравнений из чего составить
Ну предположим каждая совокупность - это вектор. Цвета домов, национальность напиток итп это ортогональные компоненты векторов
Каким уравнением описать такое условие
тот кто живет в желтом доме сосед того кто курит мальборо
Поделитесь мыслями если не лень
Интересует не решение задачи, а аппарат для решения таких задач



PS текст задачи
С одной стороны улицы подряд стоят пять домов, каждый — своего цвета. В каждом живёт человек, все пять — разных национальностей. Каждый человек предпочитает уникальную марку сигарет, напиток и домашнее животное. Кроме того:
Норвежец живет в первом доме.
Англичанин живет в красном доме.
Зеленый дом находится сразу слева от белого.
Датчанин пьет чай.
Тот, кто курит Marlboro, живет рядом с тем, кто выращивает кошек.
Тот, кто живет в желтом доме, курит Dunhill.
Немец курит Rothmans.
Тот, кто живет в центре, пьет молоко.
Сосед того, кто курит Marlboro, пьет воду.
Тот, кто курит Pall Mall, выращивает птиц.
Швед выращивает собак.
Норвежец живет рядом с синим домом.
Тот, кто выращивает лошадей, живет в синем доме.
Тот, кто курит Winfield, пьет пиво.
В зеленом доме пьют кофе.
Вопрос: кто разводит рыбок?

[AndrewN]

как ее можно решить с помощью формул, аналитически.
Какую систему уравнений из чего составить

В www.kodges.ru есть такое старинное, но очень полезное, издание
Калужнин Л.А., Что такое математическая логика?, М., Наука, 1964
Первой главы должно хватить для формального решения. (Вторая и третья - это просто высший класс. Третья для решения точно не нужна.)