左
=AB+A非B+AB非
=AB+AB+A非B+AB非
=（AB+A非B）+（AB+AB非）
=（A+A非）B+（B+B非）A
=B+A
=右
证毕