數學邏輯規則
反演規則是一種數學邏輯規則，用於求一個邏輯函式的反函式。具體來說，反演規則涉及以下步驟：
將邏輯函式中的所有「·」（點乘）換成「+」（加法），所有「+」（加法）換成「·」（點乘）。
將所有常量「1」換成「0」，所有常量「0」換成「1」。
將所有原變數換成反變數，所有反變數換成原變數。
保持原函式中的運算順序不變。
按照這些步驟變換後得到的邏輯函式就是原函式的反函式，也被稱為補函式。反演規則有時也被稱為德·摩根定理或互補規則。它不僅用於求反函式，還可以用於執行邏輯函式的「非」運算，即原函式的非等於反函式。