离散数学-命题逻辑
根据真值表 求 主析取范式 与 主合取范式
求取步骤
- 化简，去蕴涵联结词；
- 画直值表，得到成真赋值；
- 由成真赋值得到主析取范式与主全取范式；
Tips
- 任何复杂命题都是通过简单命题使用联接词联接起来；
- 任何命题都可以使用直值表来表示；
- 对于一个命题可以把它写成合取范式或析取范式的形式；
- 主析取范式与主合取范式中极小项与极大项是取否定的关系；
极小完备
逻辑联接词组是功能完备的: 任一个命题公式都能够等价于仅包含这些逻辑联接词联结起来的公式。 逻辑联接词组是极小功能完备的: 是功能完备的并且不能少一个。
