化简 F=B非C(1+非A)+AC