【文件属性】:
文件名称:基本要求-2014091522053249
文件大小:477KB
文件格式:PPT
更新时间:2021-03-24 10:42:06
java
基本要求
深刻理解等值式的概念
牢记基本等值式的名称及它们的内容
熟练地应用基本等值式及置换规则进行等值演算
理解文字、简单析取式、简单合取式、析取范式、合取范式的概念
深刻理解极小项、极大项的概念、名称及下角标与成真、成假赋值的关系,并理解简单析取式与极小项的关系
熟练掌握求主范式的方法(等值演算、真值表等)
会用主范式求公式的成真赋值、成假赋值、判断公式的类型、判断两个公式是否等值
会将公式等值地化成指定联结词完备集中的公式
会用命题逻辑的概念及运算解决简单的应用问题
掌握消解规则及其性质
会用消解算法判断公式的可满足性