Логические задачи и методы их решения

А у кого живет сорока?

Решение. Для решения задачи сразу составим основную таблицу, которую будем заполнять по ходу решения (рис. 22). Воспользуемся условиями 3 и 4. По условию 6 имеем две возможности: 31 – зеленый дом №4, 32 – зеленный дом №5. Продолжим заполнять основную таблицу, если за истину принять предложение 31 (рис. 22, подчеркнуто одной чертой). Из 6 следует, дом №3 – белый; (2,3)

– дом №5 красный, тогда дом №1 – жёлтый. Учтем условия 5 и 9; (9; 10) – в голубом доме живут канарейки; 1 в голубом доме живет поэт, который пользуется велосипедом. Из условия 12 следует, что редактор ездит на автомобиле и любит томатный сок.

Где живет писатель? Имеем две возможности:

- П1: писатель живет в белом доме;

- П2: писатель живет в зеленом доме.

Продолжим рассуждения, считая верным утверждение П1 (рис. 22, курсив). Тогда в зеленом доме живет журналист. Из условия 11 следует , что в среднем доме пьют кофе. Из 13 – следует, в доме №4 живет попугайчик.

Рассмотрим условие 7. Молоко на завтрак может быть либо в доме №2, либо в доме №4. Но там не может жить снегирь. Получив противоречивые данные, возвращаемся к гипотезе П2. Снова условие приводят к противоречию (рис. 23).

Рис 22.

Рис. 23.

Возвращаемся к гипотезе 32. Тогда из 2 следует: дом №1 желтый, а следовательно, в голубом доме живут канарейки. Попробуйте ответить на вопрос: «Где живет поэт?». Два варианта ответа (так как по условию 1, поэт пользуется велосипедом):

- ПТ1 – поэт живет в голубом доме;

- ПТ2 – поэт живет в белом доме.

Предположим, что вариант ПТ1 верен (рис. 24, курсив). Из 12 следует: сок пьют в белом доме. Из 11 следует, что писатель живет в зеленом доме и пьет кофе; в белом доме живет журналист, у которого есть попугайчик (условие 13). По условию 8, какао на завтрак могут получать поэт и редактор. Но у редактора нет соседа, который держит синицу. Значит какао любит поэт, а синица живет у критика.

Условие 7: молоко на завтрак может быть только у редактора. Получаем ответ: сорока живет у писателя. Но нужно проверить ещё гипотезу ПТ2. Приведет ли она к тому же ответу?

Рис. 24.

Из 13 следует, хозяин голубого дома пьет сок и ездит на автомобиле.

Из 12 следует, писатель живет в зеленом доме и пьет кофе, тогда в голубом доме живет журналист. Но по условию 13, он держит попугайчика. Получили противоречие, ведь в голубом доме живут канарейки (рис. 25). Итак, ответ задачи единственный: сорока живет у писателя.

 Скачать реферат