布尔表达式

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

[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） .

[1]

[2]

[3]