Как работает строгая дизъюнкция в логических системах?

Строгая дизъюнкция в логических системах работает так: она принимает два логических высказывания и возвращает истинное значение, если только одно из высказываний истинно, но не оба. www.work5.ru

В русском языке строгой дизъюнкции соответствует связка «либо». apt29.ru resh.edu.ru Например, в высказывании «На сегодняшнем матче Петя сидит на трибуне А либо на трибуне Б» утверждается, что Петя сидит либо только на трибуне А, либо только на трибуне Б, и что сидеть одновременно на двух трибунах Петя не может. apt29.ru

Символическое обозначение строгой дизъюнкции: ⊕ (логическое «ИЛИ ИСКЛЮЧАЮЩЕЕ»). www.work5.ru

Также строгая дизъюнкция истинна, если значения аргументов не равны. spravochnick.ru Для функции трёх и более переменных результат выполнения операции будет истинным только тогда, когда количество аргументов равных 1, составляющих текущий набор — нечётное. spravochnick.ru