Есть обозначение для Xor[x1,x2,x3]&&!And[x1,x2,x3]

[Dims]

Я заметил, что двухместная операция Xor выражается вот так

(x1 && ! x2) || (! x1 && x2)

а в выражении для трёхместной появляется ещё и конъюнкция трёх аргументов:

(x1 && x2 && x3) || (x1 && ! x2 && ! x3) || (! x1 && x2 && ! x3) || (! x1 && ! x2 && x3)

Вопрос: что за функция выражается без конъюнкции, то есть, вот так:

(x1 && ! x2 && ! x3) || (! x1 && x2 && ! x3) || (! x1 && ! x2 && x3)

Естественно, для двух аргументов она совпадает с Xor.
Есть ли у этой функции какое-либо общепринятое название?

[Null]

Это медианта вроде.

[Dims]

Что-то нигде не нахожу описание этой функции..

-- Вт дек 07, 2010 16:32:26 --

А, блин, дошло! Обычное определение XOR даёт истину, когда нечётное число аргументов истинны (в том числе и один), а мне нужно определение, которое даёт истину когда ровно один аргумент инстинен. Естественно, в случае двух аргументов формулы совпадут.

Но вопрос остаётся -- как называется булева функция, которая даёт истину когда ровно один её аргумент истинен?

Может быть, есть общее название функций, которые подсчитывают количество истин и дают да когда оно равно заданному числу? Какие-нибудь счётчики? Кванторы не может быть, ведь этот термин уже занят...