数字电路用代数法化简逻辑函数Y=AB+ABD+(A非)B+BCD