Диз'юнкція (лат. disjunctio - розділення, відміна) - одна з логічних операцій, що має значення «істина», якщо хоча б один з операндів має значення «істина». Іншими словами, операція відображає вживання сполучника «або» в логічних висловлюваннях.

Таблиця залежності результату операції для двох операндів A і B виглядає таким чином:

A	B	A або B
хибність	хибність	хибність
хибність	істина	істина
істина	хибність	істина
істина	істина	істина

Позначення

---

Вираз "P або Q" записується як

P $\backslash lor$ Q

Асоціативність і комутативність

---

Диз'юнкція є асоціативною операцією, тому порядок обчислень не має значення:

A$\backslash lor$B$\backslash lor$C ⇔ (A$\backslash lor$B)$\backslash lor$C ⇔ A$\backslash lor$(B$\backslash lor$C)

Диз'юнкція, також, є комунікативною, тому порядок операндів не має значення:

A $\backslash lor$ B ⇔ B $\backslash lor$ A

Двійкові операції

---

Диз'юнкція часто використовується для двійкових операцій. Наприклад:

• 0 $\backslash lor$ 0 = 0
• 0 $\backslash lor$ 1 = 1
• 1 $\backslash lor$ 0 = 1
• 1 $\backslash lor$ 1 = 1
• 1010 $\backslash lor$ 1110 = 1110

---

Див. також:

• кон'юнкція

Логіка

Дизюнкция | 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 | การเลือกเชิงตรรกศาสตร์