利用公式化简AB+A非C+(BC)非