用卡诺图简化具有无关项的逻辑函数时若用圈1法在包围