A(B+C)+1=1 反演式: (A'+B'C')*0=0 对偶式:(A+BC)*0=0。
反演规则实际上是定理6的推广,可通过定理6和代入规则得到证明。显然,运用反演规则可以很方便地求出一个函数的反函数。使用反演规则时,保持原函数式中运算符号的优先顺序不变。
反演规则与对偶规则的相同点是运算符号变、常量变;其差异就是,反演规则中的变量要取反。反演律的原函数不变,而利用反演规则是求反函数。Y =(AB)'= A' + B' 反演律Y' = (A' + B')' 反演规则= AB 反演律。A*B+A*非B=A 用对偶规则有 (A+B)(A+非B)=A。