离散数学怎样判断合取范式和析取范式
5个回答
展开全部
只要看式子中连接每一项的连接词是∧还是∨,连接词是∧则式子为合取范式,为∨是析取范式。
例如:(A∨B∨C)∧(┐A∨┐B∨┐C)∧(A∨┐B∨C)是合取范式;
(A∧B∧C)∨(┐A∧┐B∧┐C)∨(┐A∧B∧C)是析取范式。
把一个式子写为合取范式或者析取范式,可以通过等价关系运算得出。
离散数学(Discrete mathematics)是研究离散量的结构及其相互关系的数学学科,是现代数学的一个重要分支。离散的含义是指不同的连接在一起的元素,主要是研究基于离散量的结构和相互间的关系,其对象一般是有限个或可数个元素。离散数学在各学科领域,特别在计算机科学与技术领域有着广泛的应用,同时离散数学也是计算机专业的许多专业课程,如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等必不可少的先行课程。通过离散数学的学习,不但可以掌握处理离散结构的描述工具和方法,为后续课程的学习创造条件,而且可以提高抽象思维和严格的逻辑推理能力,为将来参与创新性的研究和开发工作打下坚实的基础。
例如:(A∨B∨C)∧(┐A∨┐B∨┐C)∧(A∨┐B∨C)是合取范式;
(A∧B∧C)∨(┐A∧┐B∧┐C)∨(┐A∧B∧C)是析取范式。
把一个式子写为合取范式或者析取范式,可以通过等价关系运算得出。
离散数学(Discrete mathematics)是研究离散量的结构及其相互关系的数学学科,是现代数学的一个重要分支。离散的含义是指不同的连接在一起的元素,主要是研究基于离散量的结构和相互间的关系,其对象一般是有限个或可数个元素。离散数学在各学科领域,特别在计算机科学与技术领域有着广泛的应用,同时离散数学也是计算机专业的许多专业课程,如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等必不可少的先行课程。通过离散数学的学习,不但可以掌握处理离散结构的描述工具和方法,为后续课程的学习创造条件,而且可以提高抽象思维和严格的逻辑推理能力,为将来参与创新性的研究和开发工作打下坚实的基础。
展开全部
1、只要看式子中连接每一项的连接词是∧还是∨,连接词是∧则式子为合取范式,为∨是析取范式。
例如:(A∨B∨C)∧(┐A∨┐B∨┐C)∧(A∨┐B∨C)是合取范式;
(A∧B∧C)∨(┐A∧┐B∧┐C)∨(┐A∧B∧C)是析取范式。
2、把一个式子写为合取范式或者析取范式,可以通过等价关系运算得出。
拓展材料:离散数学的学科内容
1.集合论部分:集合及其运算、二元关系与函数、自然数及自然数集、集合的基数
2.图论部分:图的基本概念、欧拉图与哈密顿图、树、图的矩阵表示、平面图、图着色、支配集、覆盖集、独立集与匹配、带权图及其应用
3.代数结构部分:代数系统的基本概念、半群与独异点、群、环与域、格与布尔代数
4.组合数学部分:组合存在性定理、基本的计数公式、组合计数方法、组合计数定理
5.数理逻辑部分:命题逻辑、一阶谓词演算、消解原理
资料来源:百度词条离散数学
本回答被网友采纳
已赞过
已踩过<
评论
收起
你对这个回答的评价是?
展开全部
举个例子 pvqvr 是因为每一个p q r本身既可以是pvp=p 又可以是p∧p=p 所以他单独一个既是合取式 也是析取式 这个好理解 pvqvr是析取范式也好理解 而关键就是当我们整体法把整个看成A 而 (pvqvr)x(pvqvr)即AvA A∧A那么 同理上面 他既是合取范式也是析取范式 这样一举例就好理解些了吧 而(pvqvr)只能是析取范式 因为他不能拆成两个A∧A=A有括号和没括号差别很大
不是挖坟 是想给后来人看看
不是挖坟 是想给后来人看看
已赞过
已踩过<
评论
收起
你对这个回答的评价是?
展开全部
(A∧B)∨(C∧D)
或者A∧B
这种形式的命题叫做析取范式
(A∨B)∧(C∨D)
或者A∨B
这种叫做合取范式
或者A∧B
这种形式的命题叫做析取范式
(A∨B)∧(C∨D)
或者A∨B
这种叫做合取范式
本回答被提问者和网友采纳
已赞过
已踩过<
评论
收起
你对这个回答的评价是?
展开全部
(A∧B)∨(C∧D)或者A∧B这种形式的命题叫做析取范式(A∨B)∧(C∨D)或者A∨B这种叫做合取范式
已赞过
已踩过<
评论
收起
你对这个回答的评价是?
推荐律师服务:
若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询