一個(gè)有補(bǔ)分配格稱為布爾格.
由布爾格,可以誘導(dǎo)一個(gè)代數(shù)系統(tǒng),這個(gè)代數(shù)系統(tǒng)稱為布爾代數(shù)（即邏輯代數(shù)）.
邏輯是指條件與結(jié)論之間的關(guān)系,因此邏輯運(yùn)算是指對(duì)因果關(guān)系進(jìn)行分析的一種運(yùn)算.
邏輯運(yùn)算的結(jié)果并不表示數(shù)值大小,而是表示一種邏輯概念,其結(jié)果為成立（true)或不成立（false);