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

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

Булеві вирази відповідають пропозиційним формулам(propositional formulas) у логіці та є приватним випадком булевих схем(Boolean circuits).

Логічні оператори

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

Приклади

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

Дивитися також

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

 

Посилання

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