定义 1-5.4 （1）主析取范式——由极小项构成的析取范式。 （2）主合取范式——由极大项构成的合取范式。 求主范式（主析取范式和主合取范式）的方法一。 （1）先求出命题公式等价的析取范式和合取范式。 （2）在析取范式的短语和合取范式的子句中重复出现的命题变元，将其等价变换为只出现一次。 （3）去掉析取范式中的所有永假式（p∧¬p），去掉合取范式中的所有永真式（p∨¬p）。 （4）若析取范式的某一个短语中缺少该命题公式中所规定的命题变元 p，则可用命题公式（p∨¬p）∧短语将命题变元 p 补进去，并利用分配律展开，然后合并相同的短语，此时得到的短语将是标准的极小项。若合取范式的某一个子句中缺少该命题公式中所规定的命题变元 p，则可用命题公式（p∧¬p）∨子句将命题变元 p 补进去，并利用分配律展开，然后合并相同的子句，此时得到的子句将是标准的极大项。 （5）利用幂等律将相同的极小项和极大项合并，同时利用交换律进行顺序调整，将极小项（极大项）按下标从小到大排列，可得标准的主析取范式和主合取范式。