一个有补分配格称为布尔格.
由布尔格,可以诱导一个代数系统,这个代数系统称为布尔代数（即逻辑代数）.
逻辑是指条件与结论之间的关系,因此逻辑运算是指对因果关系进行分析的一种运算.
逻辑运算的结果并不表示数值大小,而是表示一种逻辑概念,其结果为成立（true)或不成立（false);