Диз'юнкція (логічна)
Матеріал з Вікіпедії — вільної енциклопедії.
- Цей термін має також інші значення
Диз'юнкція (лат. disjunctio - розділення, відміна) - одна з логічних операцій, що має значення «істина», якщо хоча б один з операндів має значення «істина». Іншими словами, операція відображає вживання сполучника «або» в логічних висловлюваннях.
Таблиця залежності результату операції для двох операндів A і B виглядає таким чином:
| A | B | A або B |
|---|---|---|
| хибність | хибність | хибність |
| хибність | істина | істина |
| істина | хибність | істина |
| істина | істина | істина |
[ред.] Позначення
Вираз "P або Q" записується як
- P
Q
[ред.] Асоціативність і комутативність
Диз'юнкція є асоціативною операцією, тому порядок обчислень не має значення:
- A
B
C ⇔ (A
B)
C ⇔ A
(B
C)
Диз'юнкція, також, є комунікативною, тому порядок операндів не має значення:
- A
B ⇔ B
A
[ред.] Двійкові операції
Диз'юнкція часто використовується для двійкових операцій. Наприклад:
- 0
0 = 0 - 0
1 = 1 - 1
0 = 1 - 1
1 = 1 - 1010
1110 = 1110
Див. також:

