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