离散数学2009期末A_参考答案.docxVIP

* *密* 第 第 PAGE 1 页 共 6 页 西南科技大学 2009——2010 学年第 2 学期 《离散数学 B》期末考试试卷（A 卷） 课程代码 课程代码 1 4 3 9 9 0 2 4 0 命题单位 计算机学院：数学与算法课程组 一、 （10 分）求p→(p∧(q→r))的主析取范式和主合取范式（不能采用真值表技术）。解：p→(p∧(q→r)) ?┐p∨(p∧(┐q∨r )) ?┐p∨(p∧┐q)∨(p∧r ) ? (┐p∧q∧r)∨(┐p∧q∧┐r)∨(┐p∧┐q∧r)∨(┐p∧┐q∧┐r) ∨(p∧┐q∧r)∨(p∧┐q∧┐r)∨(p∧q∧r) （主析取范式） ? (┐p