1-й шаг.
1-й шаг.
После того как B ответил на вопрос судьи, тот освободил одного из обвиняемых из-под стражи. В случаях 3 или 4 шпионом мог бы быть любой из трех подсудимых, и судья не мог бы снять обвинение ни с одного из них. Следовательно, в действительности нам необходимо обратиться к случаям 1 и 2. В этих двух случаях C не может быть шпионом, а каждый из двух остальных обвиняемых может, поэтому судья отпустил на свободу C. Таким образом, нам известно, что C был освобожден из-под стражи и что имеет место либо случай 1, либо случай 2, а о случаях 3 и 4 мы можем теперь полностью забыть.
После того как C покинул зал суда, судья спросил, обращаясь либо к A, либо к B (к кому именно, мы не знаем), не шпион ли его сосед по скамье подсудимых, и получил ответ "да" или "нет" (но какой именно, мы также не знаем). В случае 1 существуют 4 возможных варианта, в случае 2 - еще 4 варианта, что составляет вместе 8 вариантов. Половину из них можно исключить на основании того, что судья, получив ответ, смог решить, кто из двух (A или B) шпион.
Случай | Ответ | Шпион | ||
1-й | 2-й | 3-й | ||
1а | Да | Да | Да | A |
1б | Да | Да | Нет | B |
2а | Нет | Да | Нет | A |
2б | Нет | Да | Да | B |
2-й шаг.
2-й шаг.
До сих пор мы могли обходиться без дополнительной информации о двух приятелях мистера Энтони. Известно, что они либо оба решили задачу, либо оба не решили ее. Докажем, что они могли оба решить задачу.
Начнем с первого приятеля. Если бы мистер Энтони ответил ему утвердительно, то приятель понял бы, что имеет дело со случаем 1а и что шпион A. Если бы мистер Энтони ответил приятелю отрицательно, то тот не смог бы различить, имеет ли он дело со случаями 1б, 2а или 2б, и выяснить, кто из двух, A или B, шпион. Следовательно, первый приятель мог решить задачу только при одном условии: если мистер Энтони ответил на его вопрос утвердительно и имеет место случай 1а.
Обратимся теперь ко второму приятелю. Если бы мистер Энтони ответил ему утвердительно, то этот приятель понял бы, что имеет дело со случаем 2а и что A шпион. Но если бы мистер Энтони ответил ему отрицательно, то второй приятель не мог бы решить задачу. Таким образом, второй приятель мог бы решить задачу только в случае 2а при условии, что мистер Энтони ответил на его вопрос утвердительно.
Но случаи 1а и 2а не могут иметь место одновременно. Следовательно, мистер Энтони не мог утвердительно ответить на вопросы обоих своих приятелей, поэтому неверно, что его приятели оба решили задачу. Следовательно, они оба не решили задачу (так как известно, что они либо оба решили, либо оба не решили задачу) и мистер Энтони ни одному из них не ответил на вопрос утвердительно. Тем самым случаи 1а и 2а отпадают, поэтому B должен быть шпионом.