用公式法化简函数:Y=AB+BC+AC