Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Содержание
Введение
Выражение в компьютерной программе. В информатике булево выражение — это выражение, используемое в языках программирования, которое при вычислении возвращает булево значение. Булево значение может быть истинным или ложным. Булево выражение может состоять из комбинации булевых констант «Истина»/«Да» или «Ложь»/«Нет», переменных булевого типа, операторов, возвращающих булевы значения, и функций, возвращающих булевы значения. Булевы выражения соответствуют пропозициональным формулам в логике и являются частным случаем булевых схем.
Expression in a computer program
In computer science, a Boolean expression is an expression used in programming languages that produces a Boolean value when evaluated. A Boolean value is either true or false. A Boolean expression may be composed of a combination of the Boolean constants True/Yes or False/No, Boolean typed variables, Boolean valued operators, and Boolean valued functions. Boolean expressions correspond to propositional formulas in logic and are a special case of Boolean circuits.
Булевые операторы
Большинство языков программирования имеют булевы операторы OR, AND и NOT; в C и некоторых языках, вдохновленных им, они представлены символами "||" (двойная вертикальная черта), "&&" (двойной амперсанд) и "!" (восклицательный знак) соответственно, в то время как соответствующие побитовые операции представлены символами "|", "&" и "~" (тильда). В математической литературе для этих целей часто используются символы "+", "·" (точка) и надчеркивание, или "∨" (vel), "∧" (et) и "¬" (not) или "′" (штрих). Некоторые языки, например, Perl и Ruby, имеют два набора булевых операторов с идентичными функциями, но разным приоритетом. Обычно в этих языках для операторов с более низким приоритетом используются слова and, or и not. Некоторые языки программирования, произошедшие от PL/I, имеют тип битовой строки и используют BIT(1) вместо отдельного булева типа. В этих языках одни и те же операторы используются как для булевых, так и для побитовых операций. Эти языки представляют OR, AND, NOT и ИСКЛЮЧАЮЩЕЕ ИЛИ символами "|", "&", "¬" (инфиксный оператор) и "¬" (префиксный оператор).
Most programming languages have the Boolean operators OR, AND and NOT; in C and some languages inspired by it, these are represented by "||" (double pipe character), "&&" (double ampersand) and "!" (exclamation point) respectively, while the corresponding bitwise operations are represented by "|", "&" and "~" (tilde). In the mathematical literature the symbols used are often "+" (plus), "·" (dot) and overbar, or "∨" (vel), "∧" (et) and "¬" (not) or "′" (prime). Some languages, e. g., Perl and Ruby, have two sets of Boolean operators, with identical functions but different precedence. Typically these languages use and, or and not for the lower precedence operators. Some programming languages derived from PL/I have a bit string type and use BIT(1) rather than a separate Boolean type. In those languages the same operators serve for Boolean operations and bitwise operations. The languages represent OR, AND, NOT and EXCLUSIVE OR by "|", "&", "¬" (infix) and "¬" (prefix).
Операторы короткого замыкания
Некоторые языки программирования, например, Ada, имеют операторы логического ИЛИ и И с коротким замыканием. Эти операторы используют отложенное вычисление, то есть, если значение выражения можно определить по левому операнду, то правый операнд вычисляться не будет. В результате могут возникать побочные эффекты, которые происходят только при определенном значении левого операнда.
Some programming languages, e. g., Ada, have short circuit Boolean operators. These operators use a lazy evaluation, that is, if the value of the expression can be determined from the left hand Boolean expression then they do not evaluate the right hand Boolean expression. As a result, there may be side effects that only occur for one value of the left hand operand.