对于任意一个最小项，只有一组变量的取值使它的值为0，而其他取值都使该最小项为1。（)