反演规则

$$F\to \bar{F}$$

使用反演规则时，应注意保持原函数式中的运算符号的优先顺序不变 (先与后或，除非另加括号)。另外不属于单个变量上的反号应保持不变。

反演规则就是摩根律的推广