Y=A+B+C+A非B非C非D用公式法化简这个逻辑函数