Логическая операция Дизъюнкция - бинарная операция над высказываниями, результатом которой является истинное высказывание в случаях, когда среди исходных высказываний есть хотя бы одно истинное. Дизъюнкция ложна, если оба исходных высказывания ложны.
Другие названия дизъюнкции - логическое сложение, логическое ИЛИ или просто ИЛИ.
Дизъюнкция изучается в информатике при рассмотрении раздела алгебра логики.
В естественных языках дизъюнкцию заменяют союзом "или".
В языках программирования для дизъюнкции используют обозначение 'or' или одинарной (двойной) вертикальной чертной '|' (либо '||') (например, x<0 or x>5 или a>=10 || a<3).
Для обозначения дизъюнкции используют символ ∨ или |.
Как набрать знак дизъюнкцию на клавиатуре
Так как на клавиатуре нет знака дизъюнкции (∨), ее удобно набирать используя комбинацию символов обратный слэш и слэш \/.
Таблица истинности для дизъюнкции
Истинность дизъюнкции определяется ее таблицей истинности.
| A | B | A \/ B |
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 |
0 |
1 |
| 1 |
1 |
1 |
Дизъюнкция и круги Эйлера
Результатом дизъюнкции является как область пересечения высказываний, там и области самих исходных высказываний.
Электрический аналог дизъюнкции
Представим, что выключатели A и B - это высказывания, причем 0 - выключатель разомкнут, 1 - выключатель замкнут. Лампа символизирует дизъюнкцию. Когда она не горит - 0, горящая лампа - 1. Тогда становится очевидным, что лампа будет гореть если хотя бы один (и оба сразу) выключатель будет замкнут, что полностью соотносится с таблицей истинности для дизъюнкции.
