Logická disjunkce (používá se pro ní symbol OR nebo $\backslash vee$) je logická operace jejíž hodnota je pravda, pravě když alespoň jedna z obou vstupních hodnot je pravda.

Definice

---

V logice a matematice je disjunkce označením pro "nebo". Například "Vojta plave nebo Lucka plave" je disjunkce.

Pro vstupy A a B vypadá pravdivostní tabulka disjunkce následovně (0 označuje nepravdivé tvrzení, 1 označuje pravdivé tvrzení).

A	B	A $\backslash vee$ B
0	0	0
0	1	1
1	0	1
1	1	1

Poznámka

V každodenním používání se „A nebo B“ používá i jako výraz pro „buď A, nebo B, ale ne A a B zároveň“ (např. „Dáte si kávu nebo čaj?“). V logice se tento případ označuje jako exklusivní disjunkce.

Podívejte se také na

---

• Booleova algebra
• Konjunkce
• Existenční kvantifikátor
• Nor

Logika

Дизюнкция | Disjunktion | Logical disjunction | Disyunción lógica | Disjunktsioon | Disjonction logique | או (לוגיקה) | Logika disjungsi | 論理和 | Logische disjunctie | Inklusiv disjunksjon | Alternatywa | Disjunção lógica | Disjunkcia (logika) | Logisk disjunktion | การเลือกเชิงตรรกศาสตร์ | Диз'юнкція (логічна)