如果A为非重言式的可满足式，则A的主析取范式至少含一个。

猜你喜欢

• 命题公式?（P→Q）的析取范式是（）
• 析取命题又称为（）。
• ┐（P∨Q）←→（P∧Q）的主析取范式是（）
• 如果A为重言式，则A的主析取范式含全部，A的主合取范式不含任何。
• 一个简单析取式是重言式，当且仅当它同时含有某个命题变元及其否定式。