离散数学中的极大项和极小项,为什么这么给他们命名?
它们不就是是一个出现在合取范式一个出现在析取范式的差别而已嘛.还有, m000和M000它们所含有的0对应的, 前者是┐x, 而后者是x.搞不清楚了,这又什么意义,干嘛不取一样...附上一个图片以讲明白