Решение. Надо установить соответствие между двумя множествами: сыновей (Витя, Азамат, Булат) и сорочек (Б, 3, С), согласно требованиям:
1) у Булата сорочка не синяя;
2) у Вити сорочка не синяя, и у Вити сорочка не зеленая.
Будем решать с помощью таблицы:
Б 3 С
Витя — —
Азамат
Булат —
Б 3 С
Витя + — —
Азамат — — +
Булат — + —
Эту задачу можно решать с помощью графа. Каждому мальчику поставим в соответствие сорочку нужного цвета. Соответствие будем показывать стрелочками: сплошной - «да», пунктирной - «нет».
По условию 1 проводим пунктирную стрелочку от Булата к синей сорочке, а по условию 2 - от Вити к синей и зеленой сорочке.
Теперь достраиваем граф, помня, что от каждой точки всего может выходить три стрелочки (к каждой сорочке), но только одна может быть сплошная, остальные пунктирные.
Видим, что от точки "Витя" выходят две пунктирные стрелочки. Значит, третья будет сплошной. Куда она пойдёт? Только к белой сорочке. К каждой сорочке тоже может подходить три стрелочки и только одна из них - сплошная. Видим, к синей сорочке подходят две пунктирные стрелочки. Значит, третья будет сплошной. Она "придёт" от Азамата. Теперь имеем, что от Азамата отошла одна сплошная стрелочка. Дорисовываем от него две пунктирные: к зелёной и белой сорочке. Две сплошные стрелки у нас есть: от Вити и от Азамата. Ищем третью. Она должна отходить от Булата. Куда? Только к зелёной сорочке.
Ответ задачи определяется по сплошным стрелочкам: у Вити белая сорочка, у Азамата - синяя, у Булата - зелёная.