前置知识：简单合取/析取式，合取/析取范式

当存在n个命题变项做合取时，如果这个简单合取式出现了全部的命题变项或它的否定形式，且恰好只出现一次，则这个式子属于极小项

以n=3，命题变项为p,q,r为例，他们的极小项如表

所有简单合取式都是极小项的析取范式为主析取范式，注意，要按照m的下表进行排序

如

当存在n个命题变项做析取时，如果这个简单析取式出现了全部的命题变项或它的否定形式，且恰好只出现一次，则这个式子属于极大项

以n=3，命题变项为p,q,r为例，他们的极大项如表

所有简单析取式都是极大项的析取范式为主析取范式，注意，要按照M的下标进行排序

如