Оптимальная классическая стратегия GHZ

В игре GHZ Алиса, Боб и Чарли получают биты $R,S,T$ и возвращают $A,B,C$. Допустимы только входы 000, 011, 101, 110. Победа означает $R\lor S\lor T=A\oplus B\oplus C$. До начала игры игроки могут согласовать действия и разделить кубиты; после получения входов общаться нельзя. Четыре допустимых входа равновероятны.

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

Заготовка Q#:

namespace Kata {
    operation AliceClassical (r : Bool) : Bool {
        // Implement your solution here...

        return false;
    }

    operation BobClassical (s : Bool) : Bool {
        // Implement your solution here...

        return false;
    }

    operation CharlieClassical (t : Bool) : Bool {
        // Implement your solution here...

        return false;
    }
}