Question

已知公式A含n个命题变项p1,p2,...pn,并且无成假赋值,求A的主合取范式

Answer 1

主合取范式由 简单析取式 合取构成，因为p1,p2,...,pn全为真，且n个命题变项能组成2^n个极大项，其中只有一个成假赋值。所以，当且仅当简单析取式中命题变项全部取反时，主合取范式存在唯一成假赋值的极大项。
此极大项可表示为：Mn
故，公式A的主合取范式为:Mn