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