离散数学期中测试题.docVIP

离散数学期中测试题 试题： 1) 试写出(P∨(Q∧R)) →(P∧Q∧R) 主析取和主合取范式 2)试写出(P→Q)∧(Q→R)主析取和主合取范式 3)推理证明P∨Q，Q→R，P→S，┐S=R∧(P∨Q) 4)谓词推理证明(?x)(F(x)→R(x))?(?x)F(x)→(?x)R(x) 5)谓词推理证明“每个有理数都是实数。有的有理数是整数。因此，有的实数是整数。 ” 6)证明A－B=B－A当且仅当A=B 答案：? ： ┐(P∨(Q∧R)) ∨(P∧Q∧R) ?(┐P∧┐(Q∧R)) ∨(P∧Q∧R) ?(┐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∧┐Q∧R) ∨(┐P∧Q∧┐R) ∨(P∧Q∧R) 主析取范式 2）： (?P∨Q)∧(?Q∨R) ?((?P∨Q)∧?Q)∨((?P∨Q)∧R) ?(?P∧?Q)∨(?P∧R)∨(Q∧R) ?(?P∧?Q∧R)∨(?P∧?Q∧?R)∨(?P∧?Q∧R)∨(?P∧Q∧R)∨(?P∧Q∧R)∨(P∧Q∧R) ?(?P∧?Q∧R)∨(?P∧?Q∧?R)∨(?P∧Q∧R)∨(P∧Q∧R)(主析取范式) ?∑0,1,3,7?∏2,4,5,6 3）： (1) ┐(R∧(P∨Q)) P(附