從一個邏輯函數(shù)變換為它的對偶函數(shù)叫做對偶變換。與和或、同或和異或是兩對偶的運算，原變量和反變量是對偶的變量，“0”和“1”是對偶的常量。運算符和變量總是成對地定義的，稱為對偶的運算符和對偶的邏輯量，這種特殊屬性可用對偶變換來表述。

對偶變換的規(guī)則是：

變量不變；
常量“0”變“1”，“1”變“0”；
運算符“與”變“或”，“或”變“與”,“同或”變“異或”，“異或”變“同或”；
2個或2個以上變量非號照寫。

舉例：

F是F的對偶函數(shù)，且F與F互為對偶函數(shù)。

用等式表示的邏輯代數(shù)式，對等式兩邊作對偶變換，等式仍成立。這一規(guī)則叫做對偶定理。對偶定理常用于邏輯函數(shù)變換和證明邏輯函數(shù)相等。

舉例：

“同或”的與-或形式的函數(shù)式為

⊙

對上式兩邊作對偶變換得

這就是“異或”的或-與形式的函數(shù)式

對偶性是邏輯運算和邏輯函數(shù)的一項基本屬性，也在邏輯電路的結(jié)構(gòu)形式上體現(xiàn)出來。理解邏輯運算和邏輯電路的對偶性，是理解邏輯電路的一種基本方法。