逻辑变量(logical tracing)又称“布尔变量”或“二值变量”。指只取真值或假值的变量。
逻辑变量的取值只有“0”和“1”两个值，它们分别代表两种成对出现的逻辑概念，如：“是”和“否”、“有”和“无”、“高”和“低”、“真”和“假”等。
逻辑函数(logical function)是数字电路（一种开关电路）的特点及描述工具，输入、输出量是高、低电平，可以用二元常量(0，1)来表示，输入量和输出量之间的关系是一种逻辑上的因果关系。仿效普通函数的概念，数字电路可以用逻辑函数的的数学工具来描述。
逻辑函数定义
f=f(al，a2，…，an)
其中：al，a2，...，an为输入逻辑变量，取值是0或l；
f为输出逻辑变量，取值是0或l；
f称为al，a2，...，an的输出逻辑函数。