Словарь по логике

Строгая дизъюнкция: 1. Логическая операция, представляющая строгую альтернативу, выбор только одного из нескольких (обычно – из двух) вариантов. В классической логике, задается следующей таблицей:
0 0 | 0
0 1 | 1
1 0 | 1
1 1 | 0
Как видно из таблицы, в классической логике строгая дизъюнкция является операцией антиэквивалентности (отрицанием эквивалентности).
Другие названия: разделительная дизъюнкция, разделительное “или”. В русском языке обычно передается сложными союзными конструкциями вида “или ..., или ...” и “либо ..., либо ...”.
2. Синтаксически корректное выражение (высказывание, высказывательная форма, формула), главным знаком которого является знак строгой дизъюнкции.
3. Знак операции "строгая дизъюнкция" (редко).