Логическая операция ДИЗЪЮНКЦИЯ (логическое сложение)

 

– обозначение  или 1или Ú;

– в языках программирования обозначение OR;

– в русском языке соответствует связка «или» (в неисключающем смысле).

Дизъюнкция – это логическая операция двух слагаемых, которая ложна тогда и только тогда, когда оба исходных слагаемых ложны и истинна, когда хотя бы одно из двух исходных слагаемых истинно.

В алгебре множеств дизъюнкции соответствует операция объединения множеств, т.е. множеству получившемуся в результате сложения множеств А и В соответствует множество, состоящее из элементов, принадлежащих либо множеству А, либо множеству В.

 

Таблица истинности	Диаграмма Эйлера-Венна
А В А+ В