Письмо Таира #280: Три Бога

Привет, Навальный!

Меня зовут Таир. Скорее всего, я не буду большим оригиналом, если в своём письме отправлю логическую задачу, чтобы “мозг не ржавел без дела”. Надеюсь, цензор не посчитает её за шифр. На моей памяти из письма Дмитрию Иванову в “Матросской тишине” вырезали ответы на несколько шахматных задач.

Эта задача — довольно известная, опубликована в 1992-ом году за авторством Джорджа Булоса. Её условия и ответы находятся в открытом доступе. Называется очень нескромно “Самая сложная логическая задача”. На деле, её очень интересно решать. И даже если вы её когда-либо уже решали, чтобы “перерешить” также понадобится потратить какое-то время.

Задача:

Есть три бога: A, B и C. Среди этих богов в произвольном порядке находятся Бог Правды, Бог Лжи и Бог Рандома. Бог Правды всегда говорит правду. Бог Лжи всегда обманывает. Бог Рандома либо говорит правду, либо лжёт, что определяется случайным образом 50/50. Требуется определить богов, кто есть кто, задав 3 вопроса, на которые можно ответить «да» или «нет». Каждый вопрос задаётся только одному богу, но можно задавать одному богу более одного вопроса. Боги понимают человеческий язык, но отвечают на своём языке, в котором есть 2 слова «da» и «ja», причём неизвестно, какое слово обозначает «да», а какое «нет».

Ответ: в следующем письме.

Прикладываю портрет, который я изначально написал, с первыми лучами солнца после вашего задержания. Но он был несколько сыроват, поэтому прикладываю более позднюю версию, которую я написал на днях.

Ещё раз пламенный привет от меня из солнечного Казахстана, а точнее из закоптелой Алматы!