布尔表达式化简，没有头绪