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