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

同或運算 　　　 　 　 　 　　 　 　 　 　

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

對於(yu) 任意一個(ge) 邏輯函數式F，做如下處理：

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

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

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

那麽(me) 得到的新函數式稱為(wei) 原函數式F的反函數式。

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

② 不屬於(yu) 單個(ge) 變量上的非號有兩(liang) 種處理方法

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

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