求主析取范式和主合取范式技巧
主合取范式和主析取范式转换？
主合取范式和主析取范式转换？
变形： Q∧(P∨┐P)∨(┐Q∧P) Q∧1∨(┐Q∧P) Q∨(┐Q∧P) (Q∨┐Q)∧(Q∨P) 1∧(Q∨P) Q∨P Q∨P就是一个合取范式。 其实我想你应该也能化到这一步，你不明白的应该是“这不明明是析取范式吗？你怎么说他是合取范式呢？”
不错，他的确是析取范式，但同时，他也是合取范式，并且，他还是主合取范式。 只是该主合取范式中，只含有1个极大项：Q∨P而已。 合取范式的定义式：仅由有限个简单析取式构成的合取式称为析取范式。 Q∨P完全满足定义，这里的简单析取式为1个。 另外你标题中的这个问题“析取范式与合取范式如何转化”，其实析取范式与合取范式之间，是没有像主析取范式与主合取范式之间那样存在一条可以直接转化的定律的。只能是自己去手工变形。事实上，任一命题公式都有无数多个析取范式与合取范式。因此，是不可能存在主析取范式与主合取范式那样的转化方法的。
一个公式的析取范式唯一吗？
主析取范式是由一个个简单合取式构成的，对于简单合取式来说，想要成假有很多很多种情况，想要成真却只有一种情况（包含的命题变项都为真），所以我们只考虑它成真的情况，也就有了主析取范式的极小项即是原公式的成真赋值这一说法。主合取范式正好相反，它是由一个个简单析取式构成的，对于简单析取式来说，想要成真有很多很多种情况，想要成假却只有一种情况（包含的命题变项都为假），所以我们只考虑它成假的情况，也就有了主合取范式的极大项即是原公式的成假赋值这一说法。
任何公式都存在与之等值的？
任何公式都存在与之等值的析取范式和合取范式，但不一定唯一。 任何公式都存在与之等值的主析取范式和主合取范式，并且唯一。 一个公式的主析取范式中的每个极小项，都是该公式的成真赋值。 一个公式的主合取范式中的每个极大项，都是该公式的成假赋值。 因此，我们可以通过求取公式的主范式，判断两个公式是否等值。
求得范式之后，通过加项使得构成析取范式的每个简单合取式变为极小项，则得到主析取范式。
同样的，通过加项使得构成合取范式的每个简单析取式变为极大项，则得到主合取范式。
在含有n个命题变项的简单合取式中，若每个命题变项均以文字的形式在其中出现且仅出现一次，而且第i个文字出现在左起第i位上，称这样的简单合取式为极小项。
极大项的定义与之类似，不再赘述。