Исключающее «или»: различия между версиями

[отпатрулированная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
→‎Обозначения: орфография; оформление; дополнение
Нет описания правки
Строка 16:
}}
[[Файл:bitwise xor.gif|thumb|График побитового исключающего «или»]]
'''Сложе́ние по мо́дулю 2''' (''исключа́ющее «или»'', ''XOR'', ''строгая дизъюнкция'', ''поразрядное дополнение'', ''инвертирование по маске'', ''жегалкинское сложение'', ''логическое вычитание'', ''логи́ческая неравнозна́чность'') — [[булева функция]], а также [[Логическая операция|логическая]] и [[битовая операция]], в случае двух переменных результат выполнения операции истинен тогда и только тогда, когда один из аргументов истинен, а второй другой — ложен. Для функции трёх (тернарное сложение по модулю 2) и более переменных — результат выполнения операции будет истинным только тогда, когда количество аргументов, равных 1, составляющих текущий набор, — нечётное. Такая операция естественным образом возникает в [[кольцо вычетов|кольце вычетов по модулю 2]], откуда и происходит название операции.
 
Сложение по модулю 2 называется «исключающим „или“» и «строгой дизъюнкцией» для отличения от «обычного» (неисключающего) логического «или» — нестрогой [[Дизъюнкция|логической дизъюнкции]]. В [[Теория множеств|теории множеств]] сложению по модулю 2 соответствует операция [[Симметрическая разность|симметрической разности]] двух множеств.