一、邏輯變量　 　　
取值：邏輯0、邏輯1。邏輯0和邏輯1不代表數值大小，僅表示相互矛盾、相互對立的兩種邏輯狀態 　
二、基本邏輯運算：與運算 或運算 非運算
　　與邏輯 ：只有決定某一事件的所有條件全部具備，這一事件才能發生
　　與邏輯運算符，也有用“?x”、“∧”、“∩”、“&”表示 　　　 　
或邏輯：只有決定某一事件的有一個或一個以上具備，這一事件才能發生。或邏輯運算符，也有用“∨”、“∪”表示。
　　 　　非邏輯：當決定某一事件的條件滿足時，事件不發生；反之事件發生，
　 　 異或運算 　 　

同或運算 　　　 　 　 　 　　 　 　 　 　

邏輯代數的運算公式和規則 　　 基本運算規則　

對于任意一個邏輯函數式F，做如下處理：

? 若把式中的運算符“.”換成“+”, “+” 換成“.”;

常量“0”換成“1”，“1”換成“0”；

? 原變量換成反變量，反變量換成原變量

那么得到的新函數式稱為原函數式F的反函數式。

注：
① 保持原函數的運算次序--先與后或，必要時適當地加入括號

② 不屬于單個變量上的非號有兩種處理方法

? 非號保留，而非號下面的函數式按反演規則變換

? 將非號去掉，而非號下的函數式保留不變