求解证明数字电路逻辑运算题目
问题描述：
求解证明数字电路逻辑运算题目
假设法证明下列逻辑运算是否正确
若A+B=A+C.则B=C; 若1+A=B,则A+AB=B;
若1+A=A,则A+A非·B=A+B; 若XY=YZ,则X=Z
答
1、错,当A=1,B=0,C=1时,A+B=A=C=1；
2、错,当A=0时,B=1,但A+AB=0,B=1；
3、对的；
4、错,证明与1相同.3如何证明当A=1时，A+A非B=1，A+B=1(肯定相等，因为1+1=1，1+0=1)，当A=0时，（1）B=1时，A+AB=1，A+B=1;（2）当B=0时，A+AB=0,A+B=0。