证明这种逻辑等式,主要有真值表法（即分别赋予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 .