又称“布尔代数”、“开关代数”。研究逻辑问题的一门数学。是现代数学中的一个重要分支。由英国数学家布尔提出。其逻辑变量的取值仅为“0”和“1”。基本逻辑运算有“与”、“或”、“非”等。是设计计算机的有力工具。