并非A不相容析取B，等值于，A当且仅当B

猜你喜欢

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