逻辑代数化简 F=A非B+BC非+B非C+AB非