以布尔值（或称逻辑值）为基本研究对象并以此延伸至相关研究方向的一门数学学科。布尔值有两个，真（用1表示）和假（用0表示）。布尔值的基本运算是基本逻辑运算，如：逻辑与，逻辑或，逻辑非，异或，同或等等。有自己的一套概念如最大项、最小项、卡诺图、反演律、吸收律之类。例子：1+1=1，含义：真与真的结果仍然是真AB+A=A，吸收律之一的应用，不管A和B取何布尔值（0或1），均成立。
