逻辑函数简化