离散数学-习题课省名师优质课赛课获奖课件市赛课一等奖课件.pptVIP

第一章习题课一、本章主要内容及要求1．基本内容等值式与等值演算基本等值式（24个公式）主析取与主合取范式联结词全功效集判断推理是否正确不一样方法①真值表法②等值演算法③主析取范式法④结构证实法1/10

2.要求深刻了解等值式概念切记基本等值式名称及内容了解简单析取式、简单合取式、析取范式、合取范式概念深刻了解极小项、极大项概念、名称及下角标与成真、成假赋值关系，并了解主析取范式与极小项关系熟练掌握求主范式方法（真值表）熟练掌握用公式主范式求公式成真、成假赋值及判断公式类型及简单应用会将任何公式化成任何联结词完备集中公式2/10

了解并记住推理形式结构以下形式：①(A1ùA2ù…ùAk)?B②前提：A1,A2,…,Ak结论：B熟练掌握判断推理是否正确方法（如真值表法、结构证实法等）切记各条推理定律（内容与名称）掌握附加前提证实法及归谬法3/10

1．已知命题公式A中含3个命题变项p,q,r，并知道它成真赋值为001,010,111,求A主析取范式和主合取范式.答案A主析取范式为m1úm2úm7A主合取范式为M0ùM3ùM4ùM5ùM6二、练习题4/10

2．在以下各联结词集中各求一个公式与A=q等值。(1){?,?