《离散数学》期末复习大纲（完整版）（含例题和考试说明）
           一、  命题逻辑
[复习知识点]
1、命题与联结词（否定￢、析取∨、合取∧、蕴涵→、等价），复合命题
2、命题公式与赋值（成真、成假），真值表，公式类型（重言、矛盾、可满足），公式的基本等值式
3、范式：析取范式、合取范式，极大（小）项，主析取范式、主合取范式
4、公式类型的判别方法（真值表法、等值演算法、主析取/合取范式法）
5、命题逻辑的推理理论
本章重点内容：命题与联结词、公式与解释、（主）析取范式与（主）合取范式、公式类型的判定、
命题逻辑的推理
[复习要求]
1、理解命题的概念；了解命题联结词的概念；理解用联结词产生复合命题的方法。
                 6
               23
2、理解公式与赋值的概念；掌握求给定公式真值表的方法，用基本等值式化简其它公式，公式在解释下
              89
的真值。
3、了解析取（合取）范式的概念；理解极大（小）项的概念和主析取（合取）范式的概念；掌握用基本
           42

等值式或真值表将公式化为主析取（ ...