OR; исключающее
OR; исключающее или; строгая дизъюнкция) возвращает значение истина при несовпадении операндов.
*
Кстати, вы обратили внимание на используемые названия "логическое умножение" и "логическое сложение"? Сравните таблицы истинности для этих операций, соответственно, с таблицами умножения и сложения 2-ной нумерации и станет понятно, почему они возможны.
Как уже сказано выше, далеко не все булевы операции актуальны с практической точки зрения. Кроме того, оказывается, что при выборе некоторых операций в качестве "базовых", можно все остальные выразить через них. Таких "базовых наборов" существует несколько. Чаще всего используется набор, который составляют операции инверсии, конъюнкции и дизъюнкции.
Наше "предпочтение" в пользу xor, отраженное в вышеприведенной таблице, определяется, в первую очередь, присутствием этой операции в языке Паскаль. При том, "избыточность" этой операции видна из следующего равенства:
a xor
Индекс
Элементарные функции
Линейные уравнения
Нелинейные уравнения
Случайные числа