Перед нами три человека: A, B и C. Один из них рыцарь, другой — лжец, третий — нормальный человек. При этом неизвестно, кто есть кто. Эти люди утверждают следующее:
- A: я нормальный человек;
- B: это правда;
- C: я не нормальный человек.
Кто такие A, B и C?
| A | B | C |
|---|---|---|
| Р | Л | Н |
| Р | Н | Л |
| Л | Р | Н |
| Л | Н | Р |
| Н | Р | Л |
| Н | Л | Р |
Самостоятельно проанализируйте оставшиеся строки таблицы и дайте ответ на вопрос, поставленный в задаче.
Рыцарь всегда говорит правду, лжец всегда лжёт, а нормальный человек может сказать как правду, так и ложь. Проверим строки таблицы по этим определениям. Первая строка уже исключена: рыцарь A не мог бы назвать себя нормальным человеком.
Во второй строке A снова рыцарь, поэтому его фраза «я нормальный человек» ложна для рыцаря. Строка невозможна.
В третьей и четвёртой строках A — лжец. Тогда фраза «я нормальный человек» действительно ложна, пока противоречия нет. Но B произносит «это правда», подтверждая слова A, то есть произносит ложь. В третьей строке B — рыцарь, которому нельзя лгать, поэтому третья строка исключается. В четвёртой строке B — нормальный человек, которому лгать разрешено; тогда C — рыцарь и правдиво говорит, что он не нормальный. Четвёртая строка подходит.
В пятой строке A — нормальный человек, поэтому его слова правдивы. B — рыцарь и тоже правдиво подтверждает слова A. Но C — лжец; его слова «я не нормальный человек» тоже правдивы, чего у лжеца быть не может. Строка исключается.
В шестой строке A опять нормальный и говорит правду. B — лжец, но его подтверждение истинно; значит, строка невозможна. Таким образом, из шести вариантов остаётся только четвёртый.
A — лжец, B — нормальный человек, C — рыцарь.
