热门标签
标签: 析取
以下是与 "析取" 标签相关的所有文章。
- 命题公式?(P→Q)的析取范式是()
- 析取命题又称为()。
- ┐(P∨Q)←→(P∧Q)的主析取范式是()
- 如果A为重言式,则A的主析取范式含全部,A的主合取范式不含任何。
- 如果A为非重言式的可满足式,则A的主析取范式至少含一个。
- 一个简单析取式是重言式,当且仅当它同时含有某个命题变元及其否定式。
- 析取范式是有限个简单析取式的析取式。
- 合取范式是有限个简单析取式的合取式。
- 合取范式的对偶式是析取范式。
- 对任意命题公式,不一定存在与其等价的析取范式和合取范式。
- 上一页
- 1
- 下一页