2.4.2 用卡诺图化简逻辑函数