Диз’юнкція строга

логічний сполучник (оператор), що в природній мові передається за допомогою «або…або».