- 500
- 0
- 约1.47万字
- 约 22页
- 2021-11-15 发布于广东
- 举报
离散数学试题 (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)) 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 分)
1) C∨ D, (C ∨ D) E, E (A (2) E (A ∧ B)
您可能关注的文档
最近下载
- 2026广西右江民族医学院公开招聘教职人员控制数工作人员12人考试参考题库及答案解析.docx VIP
- 质量管理体系内部审核检查表(完整).docx VIP
- ODCC下一代数据中心高速铜缆技术白皮书202057页.pdf VIP
- 电子元器件与信息技术 - GB-T 19247.2-2003 印制板组装 第2部分:分规范 表面安装焊接组装的要求.pdf
- 氩气安全技术说明书MSDS.docx VIP
- ISO14971风险管理程序.doc VIP
- 2025年市政工程高温专项施工方案完整版.docx VIP
- 2025年油脂生产与精炼技术手册.docx VIP
- 质量管理体系审核检查表.pdf VIP
- 寿险营销体制改革趋势与成效分析.docx VIP
原创力文档

文档评论(0)