等值演算法求主析取范式怎么求和主合取范式

来源：蜘蛛抓取(WebSpider) 时间：2014-10-09 08:34 标签： 主析取范式怎么求
离散数学如何用等值演算法求(p∧q)∨r的主析联范式?_百度作业帮
拍照搜题，秒出答案
离散数学如何用等值演算法求(p∧q)∨r的主析联范式?
离散数学如何用等值演算法求(p∧q)∨r的主析联范式?
　　非 “主析联范式” 而是 “主析取范式”.这种例子教科书上有的,翻翻书,用上常用的命题等价式,依样画葫芦即可.　
　(p∧q)∨r　　 (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)　　 M0∧M2∧M4
(主合取范式)　　 m1∨m3∨m5∨m6∨m7
(主析取范式)用等值演算求（P→Q）→R的主析取范式_百度作业帮
拍照搜题，秒出答案
用等值演算求（P→Q）→R的主析取范式
用等值演算求（P→Q）→R的主析取范式
方法一:原式=>┐(┐P∨Q)∨R=>(P∧┐Q)∨R=>((P∧┐Q)∧(R∨┐R))∨(R∧(P∨┐P)∧(Q∨┐Q)))=>(P∧┐Q∧R)∨(P∧┐Q┐R)∨((R∧P)∨(R∧┐P))∧(Q∨┐Q))=>(P∧┐Q∧R)∨(P∧┐Q┐R)∨(R∧P∧Q)∨(R∧P∧┐Q)∨ (R∧┐P∧Q)∨(R∧┐P∧┐Q)=>(P∧┐Q∧R)∨(P∧┐Q┐R)∨(P∧Q∧R)∨(P∧┐Q ∧R)∨ (┐P∧Q ∧R)∨(┐P∧┐Q∧R)(上式整理后)=>m1∨m3∨m4∨m5∨m7 (上式整理后) 方法二:原式=>┐(┐P∨Q)∨R=>(P∧┐Q)∨R=>(P∨R)∧(┐Q∨R)=>((P∨R) ∨ (Q∧┐Q))∧((P∧┐P)∨(┐Q∨R))=>(P∨Q∨R) ∧ (P∨┐Q∨R) ∧(P∨┐Q∨R) ∧(┐P∨┐Q∨R)=>M0∧M2∧M6 (上式整理后得到主合取范式)=>m1∨m3∨m4∨m5∨m7 (根据主合取范式与主析取范式的互补性,由上式直接得到主析取范式)您所在位置： &
&nbsp&&nbsp&nbsp&&nbsp
《离散数学》教学大纲.doc10页
本文档一共被下载：
次 ,您可免费全文在线阅读后下载本文档
文档加载中...广告还剩秒
需要金币：50 &&
你可能关注的文档：
··········
··········
《离散数学》课程教学大纲
一、课程的性质
本课程是为信息与计算科学专业本科开设的专业基础课。
离散数学是现代数学的一个重要分支，是计算机科学中基础理论的核心课程，是学习专业理论不可少的数学工具。离散数学是以研究离散量的结构和相互间的关系为主要目标，其研究对象一般地是有限个和可数个元素，充分描述了计算机科学离散性的特点。
学习离散数学不仅为后续课程作必要的理论准备，而且其课程内容中所提供的一些把科学理论应用于实践的范例，可以培养学生逐步增强如何实施“科学理论---技术---生产力”转化的观念和方法，提高学生在知识经济时代中的适应能力。同时本课程在培养学生的创新能力，提高学生的科研素质方面都有着重要作用。
二、教学目的及要求
在计算机科学教学中，离散数学主要是为专业服务的基础理论课，是一门概念较多、理论性较强，应用性较广的课程。本课程主要教授数理逻辑、集合论、代数系统、图论方面的基础知识，是计算机科学教学中一些后续课程学习的基础和工具。通过本课程的学习，要使学生掌握离散数学的基本概念和基本原理，以现代数学的观点和方法，初步掌握处理离散结构所必须的描述工具和方法。同时，也要培养学生抽象思维、慎密概括、逻辑推理的能力，从而使学生具有良好的开拓专业理论的素质和使用所学知识，分析和解决实际问题的能力。
三、教学重点及难点
本课程的教学重点是命题、真值表、主析取范式和主合取范式、14个基本公式、实际问题符号化然后证明、谓词逻辑命题符号化、量词、前束范式、集合恒等式的证明、关系的性质、等价关系、哈斯图、偏序关系、关系的闭包、函数、同态与同构映射
正在加载中，请稍后...离散数学的主析取范式和主合取范式应该怎样求 求具体的方法 一看到这样的题就卡住_百度作业帮
拍照搜题，秒出答案
离散数学的主析取范式和主合取范式应该怎样求 求具体的方法 一看到这样的题就卡住
离散数学的主析取范式和主合取范式应该怎样求 求具体的方法 一看到这样的题就卡住
理论基础：主合取范式:若干个极大项的合取.主析取范式:若干个极小项的析取.合取：同真取真,其余取假,就相当于集合中的取交集；析取：有真取真,同假取假,就相当于集合中的取并集.定理：（1）一个简单析取式是重言式当且仅当它同时含某个命题变项及它的否定.（2）一个简单合取式是矛盾式当且仅当它同时含某个命题变项及它的否定.定义：（1）由有限个简单合取式构成的析取式称为析取范式.（2）由有限个简单析取式构成的合取式称为合取范式.（3）析取范式与合取范式统称为范式.&举例说吧：例1, 求公式(p∧q)∨r的主析取范式及主合取范式.主析取范式:(p∧q)∨r&==&(p∧q∧(r∨┐r))∨((p∨┐p)∧(q∨┐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)∨(┐p∧┐q∧r主合取范式：(p∧q)∨r&==&(p∨r)∧(q∨r)&==&(p∨(q∧┐q)∨r)∧((p∧┐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,r,q.简单析取式: p,q,p∨q,p∨┐p∨r,┐p∨q∨┐r.简单合取式: p,┐r,┐p∧r,┐p∧q∧r,p∧q∧┐q.&亲手总结,望采纳!

我要回帖

更多关于 主析取范式怎么求 的文章

 

随机推荐