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