ДИЗЪЮНКЦИЯ СТРОГАЯ, антиэквивалентность, сложение по модулю 2

— булева функция двух аргументов. Обозначают ее знаком или и задают следующей таблицей истинности:

Д. с. соответствует в разговорном языке разделительному союзу «либо». Она коммутативна, ассоциативна и дистрибутивна по отношению к конъюнкции. Д. с. вместе с конъюнкцией и ф-цией-константой s являются операциями Жегалкина алгебры и составляют функционально полную систему булевых ф-ций.