XOR трех значений

Это выражение можно использовать ровно для трех терминов:

(a ^ b ^ c) && !(a && b && c)

Первая часть равна true тогда и только тогда, когда один или три термина равны true. Вторая часть выражения гарантирует, что не все три равны true.

Обратите внимание, что приведенное выше выражение НЕ обобщается на большее количество терминов. Более общее решение состоит в том, чтобы на самом деле подсчитать, сколько терминов составляет true, что-то вроде этого:

int trueCount =
   (a ? 1 : 0) +
   (b ? 1 : 0) +
   (c ? 1 : 0) +
   ... // more terms as necessary 

return (trueCount == 1); // or some range check expression etc

a^b^c равен только 1, если нечетное количество переменных равно 1 (две '1' отменяют друг друга). Так что вам просто нужно проверить случай «все три равны 1»:

result = (a^b^c) && !(a&&b&&c)

Другая возможность:

a ? !b && !c : b ^ c

который оказывается на 9 символов короче принятого ответа :)

Вы также можете попробовать (в C):

!!a + !!b + !!c == 1

Вот общая реализация, которая быстро дает сбой, когда обнаруживается, что более одного bool равно true.

Использование:

XOR(a, b, c);

Код:

public static bool XOR(params bool[] bools)
{
    return bools.Where(b => b).AssertCount(1);
}

public static bool AssertCount<T>(this IEnumerable<T> source, int countToAssert)
{
    int count = 0;
    foreach (var t in source)
    {
        if (++count > countToAssert) return false;
    }

    return count == countToAssert;
}

f= lambda{ |a| [false, false, true].permutation.to_a.uniq.include? a }
p f.call([false, true, false])
p f.call([false, true, true])

$ правда

$ ложь

Потому что я могу.

Еще лучше на Python:

result = (1 if a else 0)+(1 if b else 0)+(1 if c else 0) == 1

Это также можно использовать в операторах if!

Это спасло мой день для взаимоисключающих аргументов CLI через Click (все ненавидят клик)