Возможно, но мой склад ума подсказывает что это не так (ну программист я, сравнивание ответов на два вопроса дают один ответ, значит это один вопрос) + сама задача — дикое боянище, ещё времён (для меня) начальных классов, т.е. года 97-99 :)
Р - Рай, А - Ад, П - Правдивец, Л - Лжец
4 варианта:
1) Вы подошли к Р-П. Ответ на вопрос «да».
2) Вы подошли к Р-Л. Ответ на вопрос «да» (Лжец соврёт).
3) Вы подошли к А-П. Ответ на вопрос «нет».
4) Вы подошли к А-Л. Ответ на вопрос «нет» (Лжец соврёт).
Ну а как эта информация даст понять какие ворота выбрать? Ну знаю я, что, например, ворота в рай охраняет честный стражник, и ворота в ад лжец, но какая польза от этой инфы? Единственное правильное решение, которое я здесь вижу приведено чуть ниже:
На какую дверь укажет другой человек,если я спрошу его о выходе к Раю.
Лжец покажет на Ад, правдолюбец - тоже на Ад
По сути да, по форме не совсем. Если придраться, то можно сказать, что второй может иметь собственное мнение насчет того, куда надо выходить подсудимому. Так что я бы немного переформулировал.
Знаем вопрос и знаем ответ на него. Подходим к любому и спрашиваем этот воспрос. Если ответ мужика совпадает с тем ответом, который знаем, значит мужик говорит правду и за ним врата Рая.
Пример: У меня карие глаза.
Подходим и спрашиваем:
Глаза у меня карие?
Если ответ "Да", то выход как раз за спиной мужика, если нет, то идём в другую дверь.
Ну если "да" - то в его дверь.
Лжец же два раза соврёт и в итоге скажет правду.
(т.е. он соврёт относительно того, какой он дал бы ответ при прямом вопросе "Рай ли за твоей спиной")
Да, прием инверсии, к кому бы мы не обратились, получим в ответ неправду. Как вариант - "тот мужик сказал бы мне, что это - ворота Рая?" Vialle фактически угадала чуть выше.
Спросить у любого мужика: Правдивец стоит у ворот Рая?
Если ответ "ДА", значит либо перед нами Правдивец, и за ним ворота Рая, либо перед нами Лжец, и за ним таки ворота Рая.
Если ответ "НЕТ", то всё наоборот.
На мой взгляд, есть притянутый за уши 3 вариант. Если разрешить вопрос, содержащий в себе 2 вопроса соединенных «и», «или» или каким еще связывающим условием. И предположить, что лжец на такие вопросы врет тока «на выходе». (Грубо говоря !(x?y), а не (!x)?(!y)), то тогда можно задать такой вопрос.
«Верно ли только 1 из утверждений: за тобой рай(1) и ты лжец(2)»
На ответ да – идти в эти ворота, на нет - в другие
Доказательство:
Ад – Лжец => (!(1=нет) ^ (2=да)) => нет
Рай – Лжец => (!(1=да) ^ (2=да)) => да
Ад – Правдив. => (1=нет) ^ (2=нет) => нет
Рай – Правдив. => (1=да) ^ (2=нет) => да
Лжец и правдивец