由式(1-26)可证明式(1-27),利用代入规则,
将式(1-26)式中的A,B,C…分别换成 , ,
即可得:B
C
ABC...= A + B + C …=ABC…
从而有:ABC = ABC.=.. + B + C +…
摩根定理说明:多变量乘积的“反”等 于各变量“反”的和,而多变量和的“反” 等于各变量“反”的积。也就是“·”变 “+”,“+”变”“·”后各变量求 “反”。
由于任何逻辑函数都是有很多的·,加, 以及求“反”的组合,求其反函数可以逐步 用摩根定理,每步都符合上述原则,则最终 结果也是符合这个规则的 。
例1.4.1.求Z=ABC + B(C+ D )的反函数。 解:Z = AB CAB(CD)= ABC ·AB(CD) = ( + B +C)(A+ B + C D)
A+BC=(A+B)(A+C) (1-25)
交换律,结合律与普通代数的相应定 律在形式上完全相同,而分配律在普通代 数中只有乘法对加法的分配律(1-24所 示),而在逻辑代数中,还有加法对乘法 的分配律(1-25所示),为了区别,将 (1-24)和(1-25)分别称为第一分配律
和第二分配律。
以上个定律证明和前面的代数法则的 证明相同,可以将各个变量分别用1和0 代入等式的左右来验证。但应注意,必 须考虑变量的所有可能的取值组合。例 如第一分配律,可列出真值表,可见等 式两边相等,原等式成立。
有了代入规则,可以将以上各法则、 定律的应用范围大大扩展。作为代入规则 的应用,我们利用其它规则、定律来证明 第2分配律, 即式(1-25)式。