Диз'юнкція (логіка)
З Вікіпедії, безкоштовно encyclopedia
Диз'юнкція (лат. disjunctio — розділення) (операція OR) — двомісна логічна операція, що має значення «істина», якщо хоча б один з операндів має значення «істина». Операція відображає вживання сполучника «або» в логічних висловлюваннях. Диз'юнкція є бінарною операцією, тобто має два операнди. Запис може бути префіксним (знак операції стоїть перед операндами), інфіксним (знак операції стоїть між операндами) або постфіксним (знак операції стоїть після операндів). За кількості операндів понад 2 префіксний і постфіксний записи економніші.[1][2]
Коротка інформація OR, Визначення ...
OR | |
---|---|
Визначення | |
Таблиця істинності | |
Логічний вентиль | |
Нормальні форми | |
Диз'юнктивна | |
Кон'юнктивна | |
Алгебрична | |
Ґратка Поста | |
(зберігає 0) | Так |
(зберігає 1) | Так |
(монотонна) | Так |
(лінійна) | ✗ |
(само-двоїста) | ✗ |
Закрити
Позначається: в математиці та логіці як , у програмуванні як | чи or.
Найчастіше трапляються такі варіанти запису: a||b, a|b, ab, a+b, a or b.[3]
У техніці операцію диз'юнкції втілює логічний вентиль АБО.