任何两个重言式的合取或析取，仍然是一个重言式.

猜你喜欢

• 如果A为重言式，则A的主析取范式含全部，A的主合取范式不含任何。
• 如果A为非重言式的可满足式，则A的主析取范式至少含一个。
• 一个简单析取式是重言式，当且仅当它同时含有某个命题变元及其否定式。
• 什么条件下一个合取范式是重言式？
• 重言式的否定是（）。