【判断题】矛盾式无成真赋值,因而主析取范式不含任何极小项,其主析取范式记为F(或者0),而主合取范式含2^n(n为公式中命题变元的个数)个极大项

矛盾式（永假式）的特点是无论命题变元如何赋值，结果均为假。

• 主析取范式由所有使公式为真的极小项构成，但矛盾式无成真赋值，因此不含任何极小项，通常记为F或0。
• 主合取范式由所有使公式为假的极大项构成。矛盾式在所有赋值下均为假，因此包含全部可能的极大项，数量为2ⁿ（n为命题变元个数）。

1. 矛盾式的性质
   矛盾式在所有赋值下均为假，例如p ∧ ¬p。

2. 主析取范式的推导

   • 极小项是使公式为真的最小条件组合。
   • 由于矛盾式无成真赋值，主析取范式为空，记为F或0。

3. 主合取范式的推导

   • 极大项是使公式为假的条件组合。
   • 矛盾式在所有赋值下均为假，因此包含所有可能的极大项，总数为2ⁿ。