离散数学期末考试试题及答案.docVIP

离散数学试题(B卷答案1）一、证明题（10分）1)(?P∧(?Q∧R))∨(Q∧R)∨(P∧R)?R证明: 左端?(?P∧?Q∧R)∨((Q∨P)∧R)?((?P∧?Q)∧R))∨((Q∨P)∧R)?(?(P∨Q)∧R)∨((Q∨P)∧R)?(?(P∨Q)∨(Q∨P))∧R?(?(P∨Q)∨(P∨Q))∧R?T∧R(置换)?R2) ?x (A(x)?B(x))? ?xA(x)??xB(x)证明 ：?x(A(x)?B(x))??x(?A(x)∨B(x))??x?A(x)∨?xB(x)???xA(x)∨?xB(x)??xA(x)??xB(x)二、求命题公式(P∨(Q∧R))?(P∧Q∧R)的主析取范式和主合取范式（10分）。证明：(P∨(Q∧R))?(P∧Q∧R)??(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)?m0∨m1∨m2∨m7?M3∨M4∨M5∨M6三、推理证明题（10分）C∨D， (C∨D)? ?E， ?E?(A∧?B)， (A∧?B)?(R∨S)?R∨S证明：(1) (C∨D)??E P(2) ?E?(A∧?B) P(3) (C∨D)?(A∧?B) T(1)