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

即“逻辑代数”(645页)。

又称“布尔变量”、“二值变量”。逻辑代数中的变量。常用英文字母表示。其取值仅为“0”和“1”，它们分别代表两种成对出现的逻辑概念，如“是”和“否”，“有”和“无”，“高”和“低”，“真”和“假”等。