邏輯運算規則
反演定理是一種邏輯運算規則，它對於任意一個邏輯式 \(Y\) 有效。具體來說，如果將 \(Y\) 中所有的「與」運算符 \((\land)\) 替換為「或」運算符 \((\lor)\)，將所有的「或」運算符替換為「與」運算符，將所有的「0」值替換為「1」值，將所有的「1」值替換為「0」值，同時將原變數替換為反變數，反變數替換為原變數，那麼得到的新邏輯式就是 \(Y\) 的否定形式，即 \(Y'\)。這個規則也被稱為反演定理。
在使用反演定理時，需要注意以下幾點：
運算符的替換：將所有的「與」運算符替換為「或」運算符，將所有的「或」運算符替換為「與」運算符。
值的替換：將所有的「0」值替換為「1」值，將所有的「1」值替換為「0」值。
變數的替換：將原變數替換為反變數，反變數替換為原變數。
運算優先次序：在運算過程中，仍需遵守「先括弧、然後乘、最後加」的運算優先次序。
反號保留：不屬於單個變數上的反號應保留不變。