逻辑函数化简