友情提示：同学您好，此页面仅供预览，在此页面学习不会被统计哦！ 请进入学习空间后选择课程学习。

该课时内容在上节课等值演算的基础上，进行规范形式的转化和应用，主要讲授：

(1) 析取范式、合取范式定义、方法和应用；

(2) 小项、大项的定义及性质；主析取范式、主合取范式的定义、方法和应用。


上一页 下一页