大学离散数学期末重点知识点总结考试专用

1.常用公式p∧(P→Q)=>Q 假言推论┐Q∧(P→Q)=>┐P 拒取式┐p∧(P∨Q)=>Q