标签：对任意一个最小项，有（）组变量取值使得它的值为.ABCD