Simone
离散数学中的极大项和极小项,为什么这么给他们命名?
它们不就是是一个出现在合取范式一个出现在析取范式的差别而已嘛.还有, m000和M000它们所含有的0对应的, 前者是┐x, 而后者是x.搞不清楚了,这又什么意义,干嘛不取一样...附上一个图片以讲明白
主范式,它是存在且唯一的.
定义:在含有n个命题变项的简单合取式（简单析取式）中,若每个命题变项和它的否定式不同时出现,而二者之一必出现且仅出现一次,且第i个命题变项或它的否定式出现在从左算起的第i位上（若命题变项无角标,就按字典顺序排列）,称这样的简单合取式（简单析取式）为极小项（极大项）.
你把字母都理解成集合,然后析取范式就是并,自然就越并越大.同理,合取范式就是交,越交越小.
┐m和M对应的,所以实际的对应是：m111对应m000,自然就一个是┐x, 而后者是x
