6.6.2 逻辑函数的公式化简法