8.6 布尔函数简化