离散数学期末考试试题方案.doc

离散数学试题(A卷及答案） 一、证明题（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(置换)(R 2)(x(A(x)(B(x))( ( x A(x)((x B(x) 证明 ：( x ( A(x) ( B(x))(( x ( (A(x) ∨ B(x))(( x( A(x) ∨ ( x B(x)((( x A(x)∨( x B(x)(( x A(x)((x B(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 证