约束条件能够确定a,b,c的确定值，但是在卡洛图里，你把约束条件画进去之后，每个格子的a,b,c的值不一样，这样不就和约束条件里a,b,c的取值矛盾了吗，所以把约束条件画进卡诺图，就成了无关项，因为在卡诺图里，无法确定约束条件里的那些项，是填0还是1
