对于任何一个逻辑式 ，若将其中的所有“”换为 “”，所有“”换为 “”，0 换成 1，1 换成 0，原变量换成反变量，反变量换成原变量，得到的结果就是 。这个规律就是反演定理。 反演定理可以用于求取已知逻辑式的反逻辑式。 在使用反演定理的时候，需要遵守以下两个守则， 仍需遵守“先括号、然后乘、最后加”的运算优先次序； 不属于单个变量上的反号应保留不变。