1. 范式的引入原因（真值表的规模随命题变元的数量呈指数形式增长）
范式的相关定义：文字、短语（简单合取式）、子句（简单析取式）、互补对
2. 范式的定义（析取范式（短语的析取式）和合取范式（子句的合取式））
3. 范式存在定理
4. 范式求解示例
5. 小结（析取范式可以指出公式何时为真；合取范式可以指出公式何时为假）
评论
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
查看更多评论
添加红包
