Как же называется эта книга?

Примечание. Из двух последних задач (122 и 123) следует один весьма важный принцип, хорошо известный знатокам и специалистам по «рыцарям и лжецам». Предположим, что P — любое высказывание, истинность или ложность которого вам требуется установить, и кому-то (он может быть либо рыцарем, либо лжецом) известно подлинное значение истинности высказывания P. Тогда, задав носителю знаний один-единственный вопрос, вы можете установить, истинно P или ложно. Достаточно спросить: «Эквивалентно ли высказывание „вы рыцарь“ высказыванию „P истинно“?» Получив утвердительный ответ, вы поймете, что P истинно. Получив отрицательный ответ, вы будете знать, что P ложно.

Тот же принцип используется и в решениях трех следующих задач. Мы будем называть его фундаментальным принципом.

124. Нам заранее известно, что на острове A нет никаких сокровищ, что сокровища зарыты либо на острове B, либо на острове C и что если на острове A есть хоть один нормальный житель, то сокровища зарыты и на острове B, и на острове C.

У выбранного наугад островитянина я спросил: «Эквивалентно ли утверждение, что вы рыцарь, утверждению, что сокровища зарыты на острове B?»

Предположим, что на мой вопрос островитянин ответил утвердительно. Если он либо рыцарь, либо лжец, то сокровища (в силу фундаментального принципа, установленного в решении предыдущей задачи) зарыты на острове B. Если же он нормальный человек, то сокровища зарыты на островах B и C, поэтому на острове сокровища заведомо имеются. Таким образом, утвердительный ответ на мой вопрос означает, что на острове B есть сокровища.

Предположим, что островитянин на мой вопрос ответил отрицательно. Если он рыцарь или лжец, то (в силу фундаментального принципа) сокровищ на острове B нет. Значит, сокровища должны быть на острове C. С другой стороны, если он нормальный человек, то сокровища зарыты и на острове B, и на острове C. Следовательно, на острове C зарыты сокровища. Таким образом, отрицательный ответ на мой вопрос означает, что на острове C есть сокровища.

125. Чтобы решить эту задачу, достаточно дважды воспользоваться фундаментальным принципом (объяснение его см. в решении задачи 123).

Один вопрос понадобится вам, чтобы установить, кто из трех островитян заведомо не нормальный человек. Обращаясь к A, вы спрашиваете его: «Эквивалентно ли утверждение, что вы рыцарь, утверждению, что B — нормальный человек?» Предположим, что A отвечает утвердительно. Если A либо рыцарь, либо лжец, то (в силу фундаментального принципа) B должен быть нормальным человеком. Значит, C — не нормальный человек. Если же A не рыцарь и не лжец, то он должен быть нормальным человеком, и тогда C снова не может быть нормальным человеком. Таким образом, утвердительный ответ на ваш вопрос означает, что C — не нормальный человек.

Предположим, что A отвечает отрицательно. Если он рыцарь или лжец, то B — не нормальный человек (в силу фундаментального принципа). Если же A — не рыцарь и не лжец, то B, как и в предыдущем случае, не может быть нормальным человеком, так как A — нормальный человек. Таким образом, отрицательный ответ на ваш вопрос означает, что B — не нормальный человек.

Итак, получив от A утвердительный ответ, вы обращаетесь со вторым вопросом к C. Если же на ваш первый вопрос A отвечает отрицательно, то со вторым вопросом вам надлежит обратиться к B. И в том и в другом случае вы знаете, что обращаетесь со вторым вопросом либо к рыцарю, либо к лжецу. Вы спрашиваете (тот же вопрос был задан вами островитянину A в задаче 122): «Эквивалентно ли утверждение, что вы рыцарь, утверждению, что на этом острове зарыты сокровища?» Утвердительный ответ означает, что на острове есть сокровища, отрицательный — что их нет.

126. Не будь у вас «на вооружении» фундаментального принципа, решить эту задачу было бы довольно трудно. Но фундаментальный принцип позволяет без труда «расправиться» с задачей. Я предполагаю, что вам известны следующие свойства целых чисел: сумма двух четных чисел четна, сумма двух нечетных чисел также четна. Следовательно, вычитая четное число из четного числа или нечетное число из нечетного числа, вы получаете четноечисло. (Например, 12-8=4, 13-7=6.)