离散数学怎样判断合取范式和析取范式
的有关信息介绍如下:只要看式子中连接每一项的连接词是∧还是∨,连接词是∧则式子为合取范式,为∨是析取范式。例如:(A∨B∨C)∧(┐A∨┐B∨┐C)∧(A∨┐B∨C)是合取范式;(A∧B∧C)∨(┐A∧┐B∧┐C)∨(┐A∧B∧C)是析取范式。把一个式子写为合取范式或者析取范式,可以通过等价关系运算得出。离散数学(Discrete mathematics)是研究离散量的结构及其相互关系的数学学科,是现代数学的一个重要分支。离散的含义是指不同的连接在一起的元素,主要是研究基于离散量的结构和相互间的关系,其对象一般是有限个或可数个元素。离散数学在各学科领域,特别在计算机科学与技术领域有着广泛的应用,同时离散数学也是计算机专业的许多专业课程,如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等必不可少的先行课程。通过离散数学的学习,不但可以掌握处理离散结构的描述工具和方法,为后续课程的学习创造条件,而且可以提高抽象思维和严格的逻辑推理能力,为将来参与创新性的研究和开发工作打下坚实的基础。