逻辑函数的公式化简