application 集合 离散 countable 最小项:由n个变量组成的任意与项中最小项是使其值为1的变量取值组合数最少的一种与项 最大项:由n个变量构成的任意或项中最大项是使其值为1的变量组合数最多的一种或项 偏序集U IA别忘了加