3.逻辑代数的三个基本规则 (1)代入规则 例:已知B(A+C=BA+BC,现将A用函数(A+D) 代替,证明等式仍然成立。 B (A+C)= BA+BC B[(A+D) +C]=B(A+D)+BC 证:等式左边B[(A+D+C]=BA+BD+BC 等式右边B(A+D)+BC=BA+BD+BC3．逻辑代数的三个基本规则 （1）代入规则 例：已知 B（A+C）= BA+BC ，现将A用函数 （ A+D ） 代替，证明等式仍然成立。 证：等式左边 B [（ A+D ）+C ]= BA+BD+BC B（A+C）= BA+BC B [（ A+D ）+C ]= B（A+D）+BC 等式右边 B（A+D）+BC = BA+BD+BC