布尔表达式
在计算机科学中,布尔表达式是编程语言中使用的、计算时能得到布尔值的表达式。布尔值非真即假。布尔表达式可以由一系列真或假的布尔常量、布尔型变量、布尔运算符和布尔值函数组成。[1]
布尔表达式对应于逻辑中的陈述,也是布尔电路的一种特殊形式。[2]
布尔运算符
许多编程语言都有布尔运算符OR、AND和NOT;而在C与一些更新的语言中,这些运算符依次表示为"||"(双竖线), "&&"(两个&符号)和"!"(感叹号),而对应的位运算符则表示为"|"、"&"及"~" (波浪线)。[3]在数学语境下,所用的符号通常是"+"(加号)、"·"(句号)和上横线,或"∨"、"∧"与"¬"(也可以是"′")。
示例
- 表达式
5 > 3
值为true. - 表达式
3 > 5
值为false. 5>=3
与3<=5
是等价的布尔表达式,两者的值都是true.typeof true
和typeof false
返回boolean- 当然,很多布尔表达式会包含至少一个变量(
X > 3
),有时会有更多(X > Y
)。
另请参见
- 数学表达式
参考资料
- ^ Gries, David; Schneider, Fred B., Chapter 2. Boolean Expressions, A Logical Approach to Discrete Math, Monographs in Computer Science, Springer: 25ff, 1993, ISBN 9780387941158.
- ^ van Melkebeek, Dieter, Randomness and Completeness in Computational Complexity, Lecture Notes in Computer Science 1950, Springer: 22, 2000 [2021-08-31], ISBN 9783540414926, (原始内容存档于2021-04-26).
- ^ E.g. for Java see Brogden, William B.; Green, Marcus, Java 2 Programmer, Que Publishing: 45, 2003 [2021-08-31], ISBN 9780789728616, (原始内容存档于2021-04-26).
外部链接
- The Calculus of Logic (页面存档备份,存于互联网档案馆), by George Boole, Cambridge and Dublin Mathematical Journal Vol. III (1848), pp. 183–98.