Булевий вираз

В інформатиці бу́левий ви́раз (логі́чний ви́раз) — це вираз, що використовується в мовах програмування, що створює логічне значення при обчисленні. Булеве значення є або true (пра́вда), або false (хи́бність).

Логічний вираз може складатися з комбінації булевих констант правди́вого чи хи́бного типів булевих змінних, булевих операторів та функцій булевого значення.^[1]

Булеві вирази відповідають пропозиційним формулам^[en] у логіці та є частковим випадком булевих схем^[en].^[2]

Більшість мов програмування мають логічні оператори АБО, І та НЕ (англ. OR, AND, NOT); на мові С та деяких нових мов вони представлені символом "||" (символ подвійної труби), «&&» (подвійний амперсанд) та «!» (знак оклику) відповідно, тоді як відповідні побітові операції представлені "|", «&» та «~» (тильда).^[3] У математичній літературі часто використовуються символи «+» (плюс), " · " (крапка) та надбарка^[en], або «∨» (чашка), «∧» (ковпачок) та «¬» або «′» (prime) .

• Вираз 5 > 3 оцінюється як правда.
• Вираз 3 > 5 оцінюється як хибність.
• 5>=3 і 3<=5 це еквівалентні булеві вирази, обидва з яких оцінюються як true .
• typeof true і typeof false повертає boolean
• Звичайно, більшість булевих виразів будуть містити принаймні одну змінну (X > 3), а часто і більше (X > Y).

• Вираз (інформатика)
• Вираз (математика)

• (англ.)Обчислення логіки [Архівовано 30 квітня 2008 у Wayback Machine.], Джордж Бул, Кембриджський та Дублінський математичний журнал вип. III (1848), С.183–98.