得到主析取范式后，可以检查遗漏的极小项，得到与之相应的极大项，然后这些极大项合取，即可得到主合取范式http://jingyan.baidu.com/article/1612d5005ed288e20f1eee6e.html
n 个命题变元的命题公式 A 有 2^n 个极大项和 2^n 个极小项，如果 A 的主析取范式含有 k 个极大项，则它的主合取范式将含有下标与那 k 个极大项互补的所有极小项。
