Булевий вираз
З Вікіпедії, безкоштовно encyclopedia
В інформатиці бу́левий ви́раз (логі́чний ви́раз) — це вираз, що використовується в мовах програмування, що створює логічне значення при обчисленні. Булеве значення є або true (пра́вда), або false (хи́бність).
Логічний вираз може складатися з комбінації булевих констант правди́вого чи хи́бного типів булевих змінних, булевих операторів та функцій булевого значення.[1]
Булеві вирази відповідають пропозиційним формулам[en] у логіці та є частковим випадком булевих схем[en].[2]