用公式法化简F2=(A+ A非B)(A+BC+C) 为最简式