Логічний тип даних. Логічний вираз. Операція відношення. Логічна операція. Правила формування логічного виразу.

ЛОГІЧНИЙ тип (Boolean) визначає ті дані, що можуть приймати логічні значення TRUE і FALSE. До булевих операндів застосовні наступні логічні операції: not and or xor.

Прості та складені умови. Висловлювання, яке може бути істинним (правильним) або хибним (неправильним) називається умовою.

Проста умова — це висловлювання, в якому два вирази з’єднані знаком операції відношення.

Складена умова — це висловлювання, в якому дві або більше простих умов з’єднані знаками логічних операцій.

У мові програмування Паскаль реалізовані операції відношеня: > — «більше»; < — «менше»; = — «дорівнює»; < > — «не дорівнює»; > = — «не менше»; < = — «не більше»; та логічні операції: not — «ні»; and — «і»; or — «або». Висловлювання — це деяке твердження, ві­­­д­­­­­­­­н­ос­но якого можна сказати, що воно або істинне, або хибне. Таким чином, кожному висловлюванню можна приписати «0» (хибне) або «1» (істинне). Приклад: «5 — просте число» — істинне, «2 = 3 + 5» — хибне висловлювання.

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

Таблиці істинності для операцій «інверсії» (заперечення), «кон’юнкції» (логічне множення, або логічне «і»), диз’юнкції (логічне додавання, або логічне «або»).

Логічні вирази — це вирази, що складаються з висловлювань, які можуть бути з’єднані логічними зв’язками. Ці вирази набувають логічного значення («хибне» або «істинне»). Логічні вирази можуть бути простими та складеними.

У простому логічному виразі використовуються змінні та константи логічного типу, операції порівняння. Зв’язка простих логічних виразів за допомогою логічних операцій утворює складений логічний вираз. Прості вирази записуються в складених виразах у круг­лих дужках.

Із стандартним типом змінних Boolean, які можуть набувати лише двох значень True або False, ви вже ознайомилися. Отже, саме такий тип і мають результати обчислення логічних виразів.

Логічні вирази поділяються на прості та складені.