1、利用代数法证明等式 AB+ 非A与C +BC=AB + 非A与C

问题描述:

1、利用代数法证明等式 AB+ 非A与C +BC=AB + 非A与C

证明这种逻辑等式,主要有真值表法(即分别赋予A、B、C真假,看两式是否恒等)和公式法(即利用各种逻辑公式进行等价变换).下用公式法证明.
AB+ (非A)C +BC=AB+(非A)C+BC(A+非A)=AB+(非A)C+ABC+(非A)BC
=AB(1+C)+(非A)(1+B)C=AB + (非A)C .