反演规则与对偶规则的相同点是运算符号变、常量变；

其差异就是，反演规则中的变量要取反；