布尔代数

所谓一个布尔代数，是指一个有序的四元组〈B，∨，∧，*〉，其中B是一个非空的集合，∨与∧是定义在B上的两个二元运算，*是定义在B上的一个一元运算，并且它们满足一定的条件。以布尔值（或称逻辑值）为基本研究对象并以此延伸至相关研究方向的一门数学学科。布尔值有两个，真（用1表示）和假（用0表示）。布尔值的基本运算是基本逻辑运算，如：逻辑与，逻辑或，逻辑非，异或，同或等等。有自己的一套概念如最大项、最小项、卡诺图、反演律、吸收律之类。?布尔代数