析取范式怎么判断
主析取范式怎样看最终有多少项？
主析取范式怎样看最终有多少项？
主析取范式中极小项数目，与主合取范式中极大项数目，是互补的。 主析取范式是1，则含有全部极小项，因为主合取范式中极大项数目为0 也即此时主合取范式为空。 反过来，主合取范式是1，则 含有全部极大项，因为主析取范式中极小项数目为0 也即此时主析取范式为空。
主合取范式怎么判定是否为重言式？
根据定理:一个合取范式是重言式当且仅当它的每一个简单析取式是重言式
注:一个析取范式是矛盾式当且仅当它的每一个简单合取式是矛盾式
在1.中要先去掉联结词再去否定号,p–gtq即为~p∨q，~q–gt~p即为q∨~p，再有~(~p∨q)∨(q∨~p)，再有(p∧~q)∨(q∨~p)，进一步有(p∨(q∨~p))∧(~q∨q∨~p),显然符合定理。
任何公式都存在与之等值的？
任何公式都存在与之等值的析取范式和合取范式，但不一定唯一。 任何公式都存在与之等值的主析取范式和主合取范式，并且唯一。 一个公式的主析取范式中的每个极小项，都是该公式的成真赋值。 一个公式的主合取范式中的每个极大项，都是该公式的成假赋值。 因此，我们可以通过求取公式的主范式，判断两个公式是否等值。
求得范式之后，通过加项使得构成析取范式的每个简单合取式变为极小项，则得到主析取范式。
同样的，通过加项使得构成合取范式的每个简单析取式变为极大项，则得到主合取范式。
在含有n个命题变项的简单合取式中，若每个命题变项均以文字的形式在其中出现且仅出现一次，而且第i个文字出现在左起第i位上，称这样的简单合取式为极小项。
极大项的定义与之类似，不再赘述。
范式名词解释？
范式名词解释：
能显示某种重要属性的表达式。数理逻辑中许多公式是等值的，但在表达形式方面常常是很不相同的。通过公式的等值转换，可以为千变万化的公式提供一个统一的表达式，这就是范式。
范式能显示不同表达式的一些特性。范式有*合取范式、*析取范式和*前束范式等。合取范式的作用在于显示重言式，析取范式的作用在于显示矛盾式。在命题演算中利用范式可以机械地判定公式的可证性。在谓词演算中，在判定公式的普遍有效性和可满足性时，前束范式可以提供重要的线索。