Исключающее ИЛИ (операция XOR)

Что такое исключающее ИЛИ

Исключающее ИЛИ (обозначается XOR или знаком ⊕) — это логическая операция, которая истинна тогда, когда значения её аргументов различны. Если оба аргумента одинаковы (оба истинны или оба ложны), результат ложен.

Название подчёркивает отличие от обычного ИЛИ: обычное «ИЛИ» истинно и когда оба условия выполнены, а исключающее «ИЛИ» в этом случае ложно — оно исключает ситуацию, когда верно сразу всё.

Таблица истинности

Сравним обычное ИЛИ и исключающее ИЛИ.

Видно, что результаты совпадают во всех строках, кроме последней: при двух истинных аргументах обычное ИЛИ даёт 1, а исключающее — 0.

Где встречается операция

• Сравнение битов: XOR показывает, различаются ли два бита. Если результат 1 — биты разные.
• Жизненные формулировки: «или чай, или кофе» в смысле «одно из двух, но не оба» — это исключающее ИЛИ.
• Проверка на изменение: сравнивая старое и новое значение, по XOR можно понять, изменился ли разряд.

Разбор примера

Пусть A = 1, B = 1. Найдём значение выражения A XOR B:

А для A = 1, B = 0 аргументы различны, поэтому A XOR B равно 1.

Частая ошибка: путают исключающее ИЛИ с обычным. Запомните: совпали значения — ноль, различаются — единица. Это удобное правило проверки.

Полезное свойство

Если применить XOR числа с самим собой, всегда получится 0: ведь аргументы одинаковы. А XOR с нулём не меняет значение. Эти свойства используют в задачах на разряды чисел.

Связь с другими операциями

Исключающее ИЛИ можно выразить через более простые логические операции. Оно истинно, когда один из аргументов истинен, а другой ложен. Это записывают так: результат равен «A и не B» или «не A и B». Такая запись помогает строить таблицы истинности для сложных формул, где встречается XOR.

Применение в задачах

Операцию исключающего ИЛИ часто встречают в заданиях на поразрядную обработку чисел и на сравнение наборов признаков.

• Сравнение двух чисел поразрядно: где биты различаются, там в результате стоит 1.
• Подсчёт числа различий между двумя двоичными записями.
• Простое шифрование: текст «накладывают» по XOR на ключ, а потом так же снимают.

Последнее свойство особенно красиво: если дважды применить XOR с одним и тем же ключом, исходные данные восстановятся, ведь (X XOR K) XOR K = X. Поэтому одну и ту же программу можно использовать и для зашифровки, и для расшифровки сообщения.

Исключающее ИЛИ для нескольких аргументов

Операцию исключающего ИЛИ можно применять и к трём, и к большему числу аргументов подряд. В этом случае результат равен 1, если среди аргументов нечётное число единиц, и равен 0, если их чётное число. Это удобное правило заменяет долгое вычисление по таблице.

Такой подход используют для проверки целостности данных: подсчитывают «чётность» набора битов и хранят её отдельно. Если при передаче один бит исказится, чётность изменится, и ошибку удастся заметить.

Кратко о главном

• Исключающее ИЛИ истинно, когда аргументы различны.
• При двух истинных аргументах XOR даёт 0 — этим оно отличается от обычного ИЛИ.
• Правило: совпали — 0, различаются — 1.
• X XOR X = 0, а X XOR 0 = X.