布尔代数起源于数学领域,是一个用于***运算和逻辑运算的公式:〈B,∨,∧,¬ 〉。其中B为一个非空***,∨,∧为定义在B上的两个二元运算,¬为定义在B上的一个一元运算。通过布尔代数进行***运算可以获取到不同***之间的交集、并集或补集,进行逻辑运算可以对不同***进行与、或、非。