用卡诺图化简下面的逻辑函数