在真值表中，一个公式的所有成假赋值所对应的极大项的析取，即为此公式的主析取范式.

猜你喜欢

• 命题公式?（P→Q）的析取范式是（）
• 析取命题又称为（）。
• ┐（P∨Q）←→（P∧Q）的主析取范式是（）
• 如果A为重言式，则A的主析取范式含全部，A的主合取范式不含任何。
• 如果A为非重言式的可满足式，则A的主析取范式至少含一个。