Строгая дизъюнкция–логическое вычитание (⊕, «исключающее ИЛИ», XOR) – (логическая операция) – умственное действие, состоящее в добавлении к суждению одной или нескольких исключающих альтернатив, по схеме: «или то, или это, но только одно из них». При логическом вычитании альтернатив может быть сколько угодно, но в отличие от логического сложения альтернативы взаимоисключают друг друга, таким образом может быть избрана только одна из них.