И тут Алисе приснился сон. Ей снилось, что она не она, а другая Алиса, та, из Зазеркалья. Ей снилось, что она повстречала Черного Короля и указала тому на пробелы в его доказательстве. Он исправил ошибку и предложил Алисе новое доказательство, одной из посылок которого было предположение о принадлежности Короля к типу A или B. (К сожалению, проснувшись на следующее утро, Алиса не смогла припомнить новое доказательство Короля, поэтому я затрудняюсь сказать вам, в чем оно состояло!) Тем не менее во сне Алиса была полностью убеждена, что Король действительно принадлежал либо к типу A, либо к типу B и что, таким образом, всякое живое существо, как следовало из первого доказательства Короля, принадлежало либо к типу A, либо к типу B.

Между Алисой и Черным Королем состоялся следующий разговор:

— Существует на свете еще одна Алиса, — сказал Король. — Сейчас она спит, и ей снится, что она — это ты.

— Необыкновенно интересно! — воскликнула Алиса. — А разве не может быть так, что это я сейчас сплю и мне снится, что я — это она?

— Это одно и то же, — ответил Король. — Какая разница?

Замечание Короля поразило Алису! Ей было совсем не понятно, почему это одно и то же.

— Как, по-твоему, какая ты Алиса, та или эта? — спросил Король.

— Сейчас я вряд ли смогу ответить на этот вопрос, — призналась Алиса.

— К какому типу ты принадлежишь — к A или B? — спросил Король.

— Боюсь, что и на этот вопрос я не смогу ответить, — призналась Алиса. — Сейчас я даже не уверена, сплю я или бодрствую.

— Позволь мне подвергнуть тебя небольшому тесту, — попросил Король. — Какого цвета у тебя глаза?

— Карие… Ах нет! Думаю, что они синие… Нет, подождите! Это зависит от того, какая я Алиса. Какая же я Алиса и какого цвета у меня глаза?

— Если позволишь, я бы сформулировал эту задачу так, — предложил Черный Король. — Бармаглот знает и тебя, и другую Алису. Когда Бармаглот спит, он убежден, что у одной из вас глаза карие, а у другой синие. Когда Бармаглот бодрствует, он убежден, что у тебя глаза карие, а у другой Алисы синие. Так скажи мне теперь, какого цвета у тебя глаза?

Решение этой нехитрой задачки я целиком предоставляю вам, дорогой читатель. Какого цвета глаза у Алисы, которую я знаю? А у другой Алисы? И еще: к какому из двух типов (A или B) принадлежит Бармаглот?

Решения

Глава 1

Кто Джон?

Для того чтобы узнать, кого из двух братьев-близнецов зовут Джон, нужно спросить одного из них: «Джон говорит правду?». Если в ответ на этот вопрос последует «да», то независимо от того, лжет ли спрошенный близнец или говорит всегда только правду, он должен быть Джоном. Если же он ответит «нет», то Джоном зовут его брата. Доказать это можно следующим образом.

Если спрошенный близнец отвечает «да», то он тем самым утверждает, что Джон говорит правду. Если это утверждение истинно, то Джон действительно говорит правду, а так как говорящий изрек истину, то его и должны звать Джоном, Если же высказанное утверждение ложно, то Джон в действительности не говорит правду. Значит, Джон лжет, как лжет и спрошенный близнец. Следовательно, и в этом случае спрошенного должны звать Джоном. Тем самым доказано, что независимо от того, говорит ли тот, к кому мы обращаемся с вопросом, всегда только правду или лжет, он должен быть Джоном (в предположении, что на наш вопрос он ответил «да»).

Если же спрошенный нами ответит «нет», то тем самым он утверждает, что Джон говорит неправду. Если это утверждение истинно, то Джон не говорит правду, а если ложно, то Джон говорит правду. И в том и в другом случае спрошенный близнец поступает не так, как Джон. Следовательно, он должен быть братом Джона. Таким образом, «нет» в ответ на заданный вопрос означает, что спрошенного зовут не Джон.

Разумеется, вопрос «Лжет ли Джон?» ничуть не хуже. «Да» в ответ на этот вопрос означает, что спрошенный близнец не Джон, а «нет» — что его зовут Джон.

Мне удалось придумать только эти два вопроса в три слова, которые позволяют решить задачу. Интересно, есть ли другие?

* * *

Во второй задаче (найти вопрос из трех слов, позволяющий установить, не лжет ли Джон) достаточно просто спросить: «Вы не Джон?»

Предположим, что близнец, к которому мы обращаемся, отвечает «да». Он либо говорит правду, либо лжет. Предположим, что выбранный нами близнец говорит правду. Тогда его действительно зовут Джон, а так как он говорит правду, то Джон всегда говорит только правду.

Предположим теперь, что близнец, к которому мы обращаемся, лжет. Тогда в действительности его зовут не Джон (раз он утверждает, что его зовут Джон). Значит, он лжет и его зовут не Джон, поэтому Джоном должен быть тот из братьев, кто всегда говорит только правду. Тем самым доказано, что если близнец, к которому мы обращаемся с вопросом, отвечает «да», то независимо от того, лжет ли он или говорит правду, того, кто всегда говорит только правду, зовут Джоном.

Предположим теперь, что в ответ на наш вопрос мы услышали «нет». Близнец, к которому мы обратились, либо лжет, либо всегда говорит только правду. Предположим, что он говорит правду. Тогда он действительно не Джон и Джоном зовут другого брата, а поскольку другой брат всегда говорит только правду, Джоном зовут того из двух братьев, кто лжет.