Вираз логічний

Логічний вираз (формула) є сукупністю логічних змінних, об’єднаних знаками логічних операцій. Логічною операцією називається побудова з даних висловів нового вислову. Знаки логічних операцій називаються логічними зв’язками (або просто зв’язками.

Логічні зв’язки можуть бути одномісні (унарні), двомісні (бінарні), тримісні (тернарні) і так далі. Найчастіше уживаються наступні логічні операції (та їх знаки): заперечення «НІ» (NOT), логічне множення «І» (AND). (операція кон’юнкції, від лат. conjunctio – з’єднання), логічне складання
«АБО» (OR,) (операція диз’юнкції, від лат. disjunctio – розділення). Змінна, значеннями якої є вислови, називається логічною (пропозиціональною) змінною. У логічних виразах, використовуваних у мовах прогр., послідовність виконання операцій така. Спочатку виконуються операції заперечення (NOT), потім логічного множення (AND), а потім логічного складання (OR)