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