Boolean algebra

基本解釋

I believe that it's very useful for Computer science students who learning Boolean algebra and predicate logic.
我相信對于學習布爾代數學和謂詞邏輯的計算機科學學生說它是非常有用的。
DB2 UDB does not have native support for bit or Boolean data types, neither for bitwise operation nor for Boolean algebra operations.
DB2 UDB 沒有為位數據類型或布爾數據類型提供本機支持，它既不支持逐位操作，也不支持布爾代數操作。
All finite symmetry Boolean algebra are set algebra of a certain set X, Which has a doubly mapping.
有限的對稱布爾代數都是某個帶有一個對合映射的集合X上的集合代數。

All that began to had began to change a century or so ago with the discovery of Boolean algebra and the construction of the first modern computing machines.
FORBES: Computing Desire

a system of symbolic logic devised by George Boole to codify logical operations. It is used in computers

布爾代數
Traditionally, FTA is base on Boolean Algebra and Probability Theory.
傳統(tǒng)故障樹分析技術建立在布爾代數和概率論基礎之上，由于成功地解決了隨機不確定性問題，因而得到了廣泛的應用。
布林代數
邏輯代數

布爾代數
The relations between Heyting Algebra and Implication Algebra with some conditions on a partial ordered set are discussed. Then some conditions when a Implication Algebra is a Boolean Algebra are given.3.
系統(tǒng)地研究了偏序集上蘊涵代數與Heyting代數之間的關系，得到了蘊涵代數中蘊涵算子的一個較好的條件，并給出了偏序集上蘊涵代數成為布爾代數的一些條件。
boolean代數
de·morgan代數