Question

离散数学中怎样用主析取范式求主合取范式

Answer 1

得到主析取范式后，可以检查遗漏的极小项，
得到与之相应的极大项，
然后这些极大项合取，即可得到主合取范式

http://jingyan.baidu.com/article/1612d5005ed288e20f1eee6e.html

Answer 2

　　n 个命题变元的命题公式 A 有 2^n 个极大项和 2^n 个极小项，如果 A 的主析取范式含有 k 个极大项，则它的主合取范式将含有下标与那 k 个极大项互补的所有极小项。