邏輯變量(logical tracing)又稱“布爾變量”或“二值變量”。指只取真值或假值的變量。
邏輯變量的取值只有“0”和“1”兩個(gè)值，它們分別代表兩種成對出現(xiàn)的邏輯概念，如：“是”和“否”、“有”和“無”、“高”和“低”、“真”和“假”等。
邏輯函數(shù)(logical function)是數(shù)字電路（一種開關(guān)電路）的特點(diǎn)及描述工具，輸入、輸出量是高、低電平，可以用二元常量(0，1)來表示，輸入量和輸出量之間的關(guān)系是一種邏輯上的因果關(guān)系。仿效普通函數(shù)的概念，數(shù)字電路可以用邏輯函數(shù)的的數(shù)學(xué)工具來描述。
邏輯函數(shù)定義
f=f(al，a2，…，an)
其中：al，a2，...，an為輸入邏輯變量，取值是0或l；
f為輸出邏輯變量，取值是0或l；
f稱為al，a2，...，an的輸出邏輯函數(shù)。