布尔表达式

在计算机科学中，布尔表达式是编程语言中使用的、计算时能得到布尔值的表达式。布尔值非真即假。布尔表达式可以由一系列真或假的布尔常量、布尔型变量、布尔运算符和布尔值函数组成。^[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）。

另请参见

• 数学表达式

参考资料

1. Gries, David; Schneider, Fred B., Chapter 2. Boolean Expressions, A Logical Approach to Discrete Math, Monographs in Computer Science, Springer: 25ff, 1993, ISBN 9780387941158.
2. 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）.
3. 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.