ДИЗЪЮНКЦИЯ СЛАБАЯ

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

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