|
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.
Есть ли у этой функции какое-либо общепринятое название?
|
|
|
|
 |
|
Dims |
|
|
|
Что-то нигде не нахожу описание этой функции..
-- Вт дек 07, 2010 16:32:26 --
А, блин, дошло! Обычное определение XOR даёт истину, когда нечётное число аргументов истинны (в том числе и один), а мне нужно определение, которое даёт истину когда ровно один аргумент инстинен. Естественно, в случае двух аргументов формулы совпадут.
Но вопрос остаётся -- как называется булева функция, которая даёт истину когда ровно один её аргумент истинен?
Может быть, есть общее название функций, которые подсчитывают количество истин и дают да когда оно равно заданному числу? Какие-нибудь счётчики? Кванторы не может быть, ведь этот термин уже занят...
|
|
|
|
|
