热门标签
标签: 析取
以下是与 "析取" 标签相关的所有文章。
- 任何命题公式都存在着与之等价的主析取范式和主合取范式，并且是唯一的。
- 什么条件下一个析取范式是矛盾式？
- 所有极小项的析取为：；所有极大项的和取为：。
- 用等值演算法求公式((P∨Q)→R)→P的主析取范式。（注意：此处只写最终结果，写成mi的形式，且i从小到大的顺序排列，具体过程自己一定要在纸上实际演算。）
- 由所有极小项形成的析取式永为假.
- 任何两个重言式的合取或析取，仍然是一个重言式.
- 在真值表中，一个公式的所有成假赋值所对应的极大项的析取，即为此公式的主析取范式.
- 具有属种关系的两个析取式复合概念，其内涵与外延之间也具有反变关系。（）
- 具有属种关系的两个析取式复合概念，其内涵与外延之间具有正变关系。（）
- 不相容析取式和等值式的真假情况正好是相反的。