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