Разница между строчной (исключающей) и обычной дизъюнкцией в логических системах заключается в том, что строгая дизъюнкция утверждает, что произойдёт только одно событие, в то время как обычная дизъюнкция (связка «или») допускает, что истинна либо одна, либо обе её части. 23
Исключающая дизъюнкция — логическая операция, ставящая в соответствие двум высказываниям новое, являющееся истинным тогда и только тогда, когда только одно из двух высказываний истинно. 25 Операция символически обозначается с помощью знака ⊕ и читается «либо А, либо В». 5
Обычная дизъюнкция (связка «или») означает, что формула дизъюнкции истинна, когда истинна либо одна, либо обе её части. 1