简单逻辑代数证明题

问题描述:

简单逻辑代数证明题
ABC+A非BC+AB非C=AC+AB

ABC+A非BC+AB非C
=(ABC+A非BC)+(ABC+AB非C)
=A(BC+非BC)+A(BC+B非C)
=AC+AB
因为 BC+非BC=C
BC+B非C=B