布尔代数

布尔代数是一种代数结构，其中的乘法和加法也满足逻辑中与 (AND) 和或 (OR) 运算的性质。

布尔代数是一个大学水平的概念，通常在抽象代数课程中首次接触到。

逻辑:	逻辑是对数学演绎和证明的方法、结构和有效性的形式化数学研究。