Алиса в стране смекалки   ::   Смаллиан Рэймонд

--------------------- Случай Что сказали подсудимые A виновен B виновен C виновен - -------------------- A: Я невиновен Л И И 1 B: Я невиновен И Л И C: A невиновен Л И И - -------------------- A: Я невиновен Л И И 2 B: Я невиновен И Л И C: A виновен И Л И - -------------------- A: Я невиновен Л И И 3 B Я виновен Л И Л C: A невиновен Л И И - -------------------- A: Я невиновен Л И И 4 B: Я виновен Л И Л C: A виновен И Л Л - -------------------- A: Я виновен И Л Л 5 B: Я невиновен И Л И C: A невиновен Л И И - -------------------- A: Я виновен И Л Л 6 B: Я невиновен И Л И C: A виновен И Л Л - -------------------- A: Я виновен И Л Л 7 B: Я виновен Л И Л C: A невиновен Л И И - -------------------- A: Я виновен И Л Л 8 B: Я виновен Л И Л C: A виновен И Л Л - --------------------

Буквы "Л" и "И" (от слов "Ложь" и "Истина")

указывают, говорит ли правду (И) или лжет (Л)

соответствующий подсудимый. В случае 5B (на пересечении полосы 5 и столбца "B виновен") мы видим, что A лжет, B лжет, а C говорит правду. (Под случаем 5B мы понимаем такой вариант, когда A признал виновным себя, B заявил о своей невиновности, C показал, что A невиновен, а в действительности виновен B.)

Другие примеры: в случае 8C все трое подсудимых лгали; в случае 3B все трое говорили правду; в случае 4C подсудимый A говорил правду, а B и C лгали.

Бармаглот, после того как ему стало известно, что именно сказал каждый подсудимый, а также что по крайней мере одно показание правдиво и по крайней мере одно ложно, сумел установить, кто виновен. Что из того, о чем мог сообщить Белый Рыцарь, позволило Бармаглоту установить, кто виновен?

Предположим, Бармаглот узнал от Белого Рыцаря, что A заявил о своей невиновности, B заявил о своей невиновности, а C заявил о невиновности A (тем самым мы оказываемся в пределах случая 1). Располагая такой информацией, Бармаглот мог бы исключить виновность подсудимого C (так как в случае 1C все трое подсудимых лгали), но, пожалуй, не мог бы установить, кто виновен: A или B (так как в случае 1C по крайней мере одно показание правдиво и по крайней мере одно ложно: аналогичная картина наблюдается в случае 1B).