逻辑代数中 A+B＝A+C,得出B=C(错)；A*B＝A*C,得出B＝C（错）.

题目

逻辑代数中 A+B＝A+C,得出B=C(错)；A*B＝A*C,得出B＝C（错）.
请问为什么是错的,请写出证明是错的推导过程.

答案

A+B＝A+C,得出B=C(错),因为如果A包含B,C时,B可以不等于C.
A*B＝A*C,得出B＝C（错）.因为如果B,C包含A时,B可以不等于C.