离散数学必备知识点总结2214.pdfVIP

WORD 格式--可编辑--专业资料 总结 离散数学知识点 第二章 命题逻辑 1.→，前键为真，后键为假才为假；—，相同为真，不同为假； 2.主析取范式：极小项(m)之和；主合取范式：极大项(M)之积； 3.求极小项时，命题变元的肯定为 1，否定为 0，求极大项时相反； 4.求极大极小项时，每个变元或变元的否定只能出现一次，求极小项时变 元不够合取真，求极大项时变元不够析取假； 5.求范式时，为保证编码不错，命题变元最好按 P,Q,R 的顺序依次写； 6.真值表中值为 1 的项为极小项，值为0 的项为极大项； 7.n 个变元共有 个极小项或极大项，这 为(0~ -1)刚好为化简完后的主 2n 2n 2n 析取加主合取； 8.永真式没有主合取范式，永假式没有主析取范式； 9.推证蕴含式的方法(=)：真值表法；分析法(假定前键为真推出后键为真， 假定前键为假推出后键也为假) 10.命题逻辑的推理演算方法：P 规则，T 规则 ①真值表法；②直接证法；③归谬法；④附加前提法； 第三章 谓词逻辑 1.一