反演定理是一種邏輯代數中的定理，其定義如下：
對於任意一個邏輯式Y，若將其中所有的「與」換成「或」，「或」換成「與」，0換成1，1換成0，原變數變成反變數，反變數變成原變數，則得到一個新的邏輯式即為邏輯式Y的非（Y'），這個規律稱為反演定理。需要注意的是，在使用反演定理時，運算的先後順序應保持不變，且不屬於單個變數上的反號應保留不變。
反演定理在邏輯代數中有廣泛的套用，它可以幫助我們快速地求出一個邏輯式的反邏輯式，從而簡化邏輯電路的設計和分析過程。
需要注意的是，反演定理與反函式的概念是不同的。反演定理是針對邏輯式的一種變換規律，而反函式則是指對於一個給定的函式，如果存在另一個函式使得它們的複合等於恆等函式，則稱這兩個函式互為反函式。因此，反演定理並不是用來求反函式的，而是用來求邏輯式的反邏輯式的。