逻辑函数的代数法化简