用代数法化简此逻辑函数,