合取主合取范式如果在一个含有n个变元的命题公式的合取范式中，每一个析取项都由这n个变元或其否定的析取组成，则称这个合取范式为主合取范式
例如，命题公式P∧Q的主合取范式为：P∧Q⇔（P∨（Q∧¬Q））∧（Q∨（P∧¬P））⇔（P∨Q）∧（P∨¬Q）∧（Q∨P）∧（Q∧¬P）⇔（P∨Q）∧（P∨¬Q）∧（¬P∧Q）由此可见，把合取范式化为主合取范式，主要是把合取范式的析取项中缺少的某些变元如P，Q等，用P∧¬P和Q∧¬Q等补上，再用分配律（∨对∧的分配）展开，合并相同的析取项后即得主合取范式
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
