东北大学离散数学复习总结(满分版)(共36页).docx

精选优质文档-倾情为你奉上方法、知识点总结（知识重点和考题重点）前三章重点内容（知识重点）：1、 蕴含（条件）“”的真值 PQ的真值为假，当且仅当P为真，Q为 假。2、 重言(永真)蕴涵式证明方法 假设前件为真，推出后件也为真。 假设后件为假，推出前件也为假。易错 3、 等价公式和证明中运用4、 重要公式重言蕴涵式：PQ = P or QP or Q = pQA-B =(AorC)-(BorC)其他是在此基础上演变等价公式：幂等律 PP=P PP=P 吸收律 P(PQ)=P P(PQ)=P 同一律 PF=P PT=P PT=T PF=FP Q = (P-Q)(Q-P) = (PQ)(PQ)5、 范式的写法（最方便就是真值表法）6、 派遣人员、课表安排类算法：第一步：列出所有条件，写成符号公式第二步：用合取连接第三步：求上一步中的析取范式即可