В информатике логическое выражение - это выражение, используемое в языках программирования, которое при вычислении дает логическое значение. Логическое значение: истина или ложь . Логическое выражение может состоять из комбинации логических констант true или false, переменных с логическим типом, операторов с логическим значением и Boolean -значные функции.
Булевы выражения соответствуют пропозициональным формулам в логике и являются частным случаем логических схем.
Большинство языков программирования имеют логические операторы OR, И и НЕ ; в C и некоторых более новых языках они представлены символом "||" (двойной вертикальный символ), «» (двойной амперсанд ) и «!» (восклицательный знак ) соответственно, в то время как соответствующие побитовые операции представлены символами «|», «» и «~» (тильда). В математической литературе часто используются символы «+» (плюс ), «· » (точка ) и черта наверху или «∨» (чашка), «∧» (крышка) и «¬» или «′» (штрих).
5>3
оценивается как true.3>5
оценивается как false.5>= 3
и 3<=5
- эквивалентные логические выражения, оба из которых оцениваются как истина.typeof true
и typeof false
return booleanX>3
), а часто и больше (X>Y
).