097 .2.7 逻辑函数的公式化简法