Альберт ЭйнштейнАльберт Эйнштейн придумал эту задачу в прошлом веке и полагал, что 98% жителей Земли не в состоянии ее решить. Принадлежите ли вы к 2% самых умных людей планеты?
Задача Эйнштейна:
Есть 5 домов, каждый разного цвета.
В каждом доме живёт один человек, отличающийся от соседнего по национальности: немец, англичанин, швед, датчанин, норвежец.
Каждый пьёт только один определённый напиток, курит определённую марку сигарет и выращивает определённое животное.
Никто из 5 человек не пьёт одинаковые сдругими напитки, не курит одинаковые сигареты и не держит одинаковое животное.
Вопрос: Кому принадлежит рыба?
Норвежец живет в первом доме.
Англичанин живет в красном доме.
Зеленый дом находится рядом с белым, слева от него.
Датчанин пьёт чай.
Тот, кто курит Rothmans, живет рядом с тем, кто выращивает кошек.
Решение достаточно муторное, т.к. не содержало каких-либо форум. Приводить его не буду. Скажу лишь ответ.
Немец держит рыбку. Норвежец кошек, Датчаник лошадь, Англичанин птиц, Швед собак.
Отличусь тем, что предложу компактное формализованное решение задачи.
Римские цифры – номер логического суждения, арабские – номер предпосылки из условий задачи, следующих после вопроса.
Во второй колонке номера утверждений, из которых выводится суждение.
Считаем, что все дома расположены подряд на одной строне улицы.
i 1,12 Второй дом синий
ii i,13 Во втором доме выращивают лошадей
iii 1,12,2,3 Норвежец живет в желтом доме
iv iii,6 Норвежец курит Dunhil
v 4,8,1,14,iv,15,iii Норвежец пьет воду
vi 1,v,9 Во втором доме курят Rothmans
vii 1,2,i,7,vi,11,ii Датчанин живет во втором доме
viii 10,7,iv,vii,vi,11 Англичанин курит Pall Mall и выращивает птиц
ix 14,4,v,7,viii Швед курит Philip Morris и пьет пиво
x 15,2,4,v,ix Немец живет в зеленом доме и пьет кофе
xi 4,v,ix,x Англичанин пьет молоко
xii 8,xi Англичанин живет в центре, в третьем доме
xiii 5,vi,1,xii,viii Норвежец выращивает кошек
xiv 11,vii,ii,viii,xiii Рыба принадлежит немцу
Колонки съелись. Поэтому логика такая:
1) Сначала идет порядковый номер суждения римскими цифрами
2) Потом через запятую номера утверждений, из которых выводилось суждение
3)И наконец само суждение