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