9-27 为什么用卡诺图化简逻辑函数？