Дизъюнкция строго-разделительная (сложение по модулю два) – логическая операция, соединяющая два высказывания при помощи связки «или», употребленной в исключающем смысле (называется также исключающее «или»). Обозначение: \(A\oplus B\). Чтение: «либо А, либо В».

Высказывание \(A\oplus B\) истинно только тогда, когда высказывания А и В имеют различные значения.

Таблица истинности операции строгой дизъюнкции