用代数法化简下列逻辑函数。