卡诺图什么时候圈无关项