反演是函數的運算,形如Y=AB得到Y非=A非+B非, 而對偶偏重等式的運算,形如A+AB=A,得到A(A+B)=A。
對於任意一個邏輯式Y,若將其中所有的“與”換成“或”,“或”換成“與”,0換成1,1換成0,原變量變成反變量,反變量變成原變量,則得到一個新的邏輯式即為邏輯式Y的非,這個規律稱為反演定理。
在運用反演定理時還需注意遵守以下規則:
(1)仍需遵守“先括號內,後括號外,先乘後加”的運算順序。
(2)不屬於單個變量上的反號應保留不變。
用反演定理可以很方便地求出邏輯函數的反函數。