Строгая дизъюнкция

Строгая дизъюнкция или «исключающее или», соответствует оборотам речи «или..., или...» или «либо..., либо...», и обозначается A B.

Таблица истинности эквивалентности имеет вид:

Выражение A B истинно в том и только в том случае, когда исходные высказывания A и B не равны между собой.

Это определение можно обобщить для любого количества логических переменных, объединенных строгой дизъюнкцией. Например,

A B C = 1, (3)

только если одно из трёх высказываний A, B, C истинно.