主范式，它是存在且唯一的。
定义:在含有n个命题变项的简单合取式（简单析取式）中，若每个命题变项和它的否定式不同时出现，而二者之一必出现且仅出现一次，且第i个命题变项或它的否定式出现在从左算起的第i位上（若命题变项无角标，就按字典顺序排列），称这样的简单合取式（简单析取式）为极小项（极大项）。
你把字母都理解成集合，然后析取范式就是并，自然就越并越大。同理，合取范式就是交，越交越小。
┐m和M对应的，所以实际的对应是：m111对应m000，自然就一个是┐x, 而后者是x
内容全部来源于网络收集，如有侵权，请联系网站删除：QQ：24596024