展开 布尔方程式必须与非吗