离散数学试题(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分)
C∨D, (C∨D)( (E, (E((A∧(B), (A∧(B)((R∨S)(R∨S
证明:(1) (C∨D)((E
(2) (E((A∧(B)
(3) (C∨D)((A∧(B)
(
您可能关注的文档
- 2018年人教版小学六年级数学下册教案曾先勇.doc
- 安徽省宿州市2016-2017学年高一上学期期末化学试卷a卷.doc
- 河北省邯郸市丛台区2016届九年级上期末数学试卷解析版.doc
- 界河中心小学生综合素质评价方案.doc
- 金蝶KIS专业版操作流程学生考试专用.doc
- 金牌学案20162017学年高考语文二轮复习考前专题组合练模块四语言文字运用+名句默写+文学类文本阅读.doc
- 九年级化学全册知识点鲁教版.doc
- 九年级物理上册教科版第3章认识电路单元清3.doc
- 科学综合复习题完整版.doc
- 离散数学-冯栾石陈编-习题答案.doc
- 建筑工程材料选择题:碳素结构钢与钢筋性能.pdf
- 眼部护理的跨文化比较.pptx
- 眼部护理:季节性变化的影响.pptx
- 眼部护理:男士与女士的特别需求.pptx
- 《快乐读书吧:在那奇妙的王国里》(课件)-2025-2026学年语文三年级上册统编版.pptx
- 眼部护理:眼部疲劳的预防措施.pptx
- 2026届九年级英语中考冲刺分层模拟卷与答案解析(质量检查版,含听力原文、作答空间和评分细则).docx
- 2026版项目投资合作协议书范本条款清单与签署风控提示模板(流程图).docx
- 2026版企业通用岗位结构化面试题库与综合评分表规范填写规范与审批台账模板(看板模板).docx
- 2026版企业会计准则现金流量表编制口径手册(执行版,含分类口径/填报模板填写规范与审批台账模板(测算模型).docx
最近下载
- 2024年四川攀枝花中考英语试卷真题及答案详解.pdf VIP
- 2022年复旦大学附属肿瘤医院医护人员招聘考试试题及答案解析.docx VIP
- 2026年广东省湛江市卫生健康系统人员招聘笔试参考题库及答案解析.docx VIP
- 8.2《做中华传统美德的践行者》 课 件 2025-2026统编版道德与法治七年级下册.pptx VIP
- 工程监理全套监理用表.doc VIP
- 新标准职业英语综合教程2 U3-电子试题+听力文本和参考答案 .docx VIP
- DB31_T 255-2020 集中式空调(中央空调)系统节能运行和管理技术要求.docx VIP
- 食品分析复习重点(王永华版)讲课稿 .pdf VIP
- PLC恒温水箱控制系统毕业设计.pdf VIP
- 市政工程监理用表(全).pdf VIP
原创力文档

文档评论(0)