В інформатиці бу́левий ви́раз (логі́чний ви́раз) — це вираз, що використовується в мовах програмування, що створює логічне значення при обчисленні. Булеве значення є або true (пра́вда), або false (хи́бність).
Логічний вираз може складатися з комбінації булевих констант правди́вого чи хи́бного типів булевих змінних, булевих операторів та функцій булевого значення..
Булеві вирази відповідають у логіці та є частковим випадком ..
Логічні оператори Більшість мов програмування мають логічні оператори АБО, І та НЕ (); на мові С та деяких нових мов вони представлені символом "||" (символ подвійної труби), «&&» (подвійний амперсанд) та «!» (знак оклику) відповідно, тоді як відповідні побітові операції представлені "|", «&» та «~» (тильда).E.g. for Java see . У математичній літературі часто використовуються символи «+» (плюс), " · " (крапка) та , або «∨» (чашка), «∧» (ковпачок) та «¬» або «′» (prime) .
Приклади Вираз оцінюється як правда. Вираз оцінюється як хибність. і це еквівалентні булеві вирази, обидва з яких оцінюються як true . typeof true і typeof false повертає boolean Звичайно, більшість булевих виразів будуть містити принаймні одну змінну (), а часто і більше ().
Див. також Булева функція Вираз (інформатика) Вираз (математика)
Примітки
Посилання
Обчислення логіки , Джордж Бул, Кембриджський та Дублінський математичний журнал вип. III (1848), С.183–98.