Есть три знакомых друг другу господа: A, B и C, которые

плиииииииииииз

это что такое?

что нужно сделать?

сказать где да а где нет?

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

Вопрос Булоса: "Значит ли da да, только если ты бог правды, а бог B  бог варианта?". Иной вариант вопроса: Является ли нечётным числом количество правдивых утверждений в следующем перечне: ты  бог брехни, ja означает да, B  бог варианта?

Решение задачки может быть упрощено, если использовать условные выражения, противоречащие фактам (counterfactuals)[4][5]. Идея этого решения состоит в том, что на любой вопрос Q, требующий ответа да или нет, данный богу правды либо господу брехни:

Если я спрошу тебя Q, ты ответишь ja?

результат будет ja, если верный ответ на вопрос Q это да, и da, если верный ответ нет. Для подтверждения этого можно осмотреть восемь возможных вариантов, предложенных самим Булосом:

Представим, что ja означает да, а da означает нет:Мы спрашивали у господа правды, и он ответил ja. Так как он говорит правду и верный ответ на вопрос Q  ja, оно обозначает да.Мы спрашивали у господа правды, и он ответил da. Так как он говорит правду и верный ответ на вопрос Q  da, оно означает нет.Мы спрашивали у господа лжи, и он ответил ja. Так как он всегда врёт, поэтому на вопрос Q он ответит da. То есть правильный ответ на вопрос ja, который обозначает да.Мы спрашивали у господа брехни, и он ответил da. Так как он всегда врёт, поэтому на вопрос Q он ответит ja. То есть правильный ответ на вопрос da, который означает нет.Представим, что ja означает нет, а da означает да:Мы спрашивали у бога правды, и он ответил ja. Поскольку он разговаривает правду и верный ответ на вопрос Q  da, оно означает да.Мы спрашивали у господа правды, и он ответил da. Так как он разговаривает правду и верный ответ на вопрос Q  ja, оно означает нет.Мы спрашивали у господа брехни, и он ответил ja. Так как он всегда лжёт, поэтому на вопрос Q он отвечает ja. Но, так как он лжёт, верный ответ на вопрос Q  da, что значит да.Мы спрашивали у бога брехни, и он ответил da. Так как он всегда лжёт, потому на вопрос Q он отвечает da. Но, так как он врёт, верный ответ на вопрос Q  ja, что значит нет.

Используя этот факт, можно задавать вопросы:[4]

Спросим господа B: Если я спрошу у тебя Бог А  бог варианта?, ты ответишь ja?. Если бог B отвечает ja, означает, или он бог варианта (и отвечает случайным образом), или он не бог случая, а на самом деле бог A  бог варианта. В любом варианте, бог C  это не бог варианта. Если же B отвечает da, то или он бог варианта (и отвечает случайным образом), или B не бог случая, что значит, что бог А  тоже не бог случая. В любом варианте, бог A  это не бог варианта.Спросим у господа, который не является всевышним варианта (по результатам предыдущего вопроса, или A, или C): Если я спрошу у тебя: ты бог правды?, ты ответишь ja?. Так как он не бог варианта, ответ  ja означает, что он бог правды, а ответ da означает, что он бог брехни.Спросим у этого же бога Если я у тебя спрошу: Бог B  бог варианта?, ответишь ли ты ja?. Если ответ ja  бог B является господом варианта, если ответ da, то бог, с которым ещё не говорили, является господом случая.

Оставшийся бог определяется способом исключения