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

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

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

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

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

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

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

Див. також

Примітки
  1. Gries, David; Schneider, Fred B. (1993). Chapter 2. Boolean Expressions. A Logical Approach to Discrete Math. Monographs in Computer Science. Springer. с. 25ff. ISBN 9780387941158..
  2. van Melkebeek, Dieter (2000). Randomness and Completeness in Computational Complexity. Lecture Notes in Computer Science 1950. Springer. с. 22. ISBN 9783540414926..
  3. E.g. for Java see Brogden, William B.; Green, Marcus (2003). Java 2 Programmer. Que Publishing. с. 45. ISBN 9780789728616..

Посилання
  • (англ.)Обчислення логіки, Джордж Бул, Кембриджський та Дублінський математичний журнал вип. III (1848), С.183–98.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.