對偶規則

對於任何一個邏輯表達式F,如果將式中所有的“·”換成“+”,“+”換成“·”,“0”換成“1”,“1”換成“0”,而變數保持不變就得到表達式F'，這個表達式F'稱為F的對偶式，這一變換方式稱為對偶規則。

對偶規則運用例子

若F=AB+B(C+0)

則F'=(A+B)(B+C·1)

從例子可以看出，如果F的對偶式是F'，則F'的對偶式就是F。即，F和F'互為對偶式。