布爾表達式

在計算機科學中，布爾表達式是程式語言中使用的、計算時能得到布爾值的表達式。布爾值非真即假。布爾表達式可以由一系列真或假的布爾常量、布爾型變量、布爾運算符和布爾值函數組成。^[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]