用卡诺图化简包含无关最小项的函数