Каст, мб ты выскажешься на счет вопросов? По техническим причинам (злой гм) невыгодно рассказывать конкретные формулировки или конкретную цель, но можно определить вектор - что именно мы хотим узнать.
Формально задавать вопросы, не дублирующие логически ответ на друг друга вообще смысла мало, из-за поправки про возможность не врать вообще (ну и да, жестко сказать что-то вроде всегда врать на вопрос номер N - это запрещенная кооперация).
Но даже их еще надо придумать. В принципе, если задаются такие вопросы, то можно на оба ответить логически одинаково, и это не может быть ложью дважды. Либо, можно соврать на один из них, это будет однозначно видно, тогда на третий ответ точно правдив.
Либо - просто надо признать, что невыгодно вообще сильно палить чью-то роль, мафы тоже получают всю открытую информацию, и спрашивать на авось. Потом уже подключается теория игр, и анализируется, как именно стал бы врать (не врать) игрок, будь он с той или иной ролью.
В общем, это скорее тебе решать, какие вопросы ты хочешь видеть.
Теперь немного ибд (пример что такое вопросы с логически одинаковым ответом, но разной формулировкой):
Есть список стран: США, Индия, Канада, Франция, Германия, Россия.
1й вопрос: страны находятся в Европе?
Ответ нет: США, Индия, Канада
Ответ да: Франция, Германия, Россия
2й вопрос: государственный язык английский?
Ответ да: США, Индия, Канада
Ответ нет: Франция, Германия, Россия.
Мы проверяли разные признаки, но ответы логически делят список стран на две одинаковые группы. И не должно смущать, что правдой в одном случае для США, допустим, будет да, а во втором нет - важно что этот бит информации однозначен, правдой может быть только пара ответов да-нет или нет-да. Получив скажем нет-нет, мы будем уверены, что на 1 из этих вопросов озвучена ложь. И тогда
3й вопрос: является ли страна членом большой семерки?
Точно дает правду.
Надеюсь, я достаточно непонятно объяснил, чтобы потребовалось задавать уточняющие вопросы.