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

Другие названия дизъюнкции — логическое сложение, логическое ИЛИ или просто ИЛИ.

Дизъюнкция изучается в информатике при рассмотрении раздела алгебра логики.

В естественных языках дизъюнкцию заменяют союзом «или«.

В языках программирования для дизъюнкции используют обозначение ‘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. Тогда становится очевидным, что лампа будет гореть если хотя бы один (и оба сразу) выключатель будет замкнут, что полностью соотносится с таблицей истинности для дизъюнкции.

Электрический аналог дизъюнкции

Просмотров страницы: 757