㈠ 离散数学怎样判断合取范式和析取范式
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.数理逻辑部分:命题逻辑、一阶谓词演算、消解原理
资料来源:网络词条离散数学
㈡ 关于离散数学判断合式公式
首先,编写基于矩阵M之间的关系的二元关系的集合,然后作出判断的基础上定理的关系:“在M2(M的平方)的位置,M是相应的位置”,以确定哪些是最保险的方法。
㈢ 用C语言编程实现离散数学中合式公式的判断
i不能被3if(i%3!=0)
这个条件错了!=0&&i%5,7中的任何一个整除
而不是不能被3
5
7同时整除
应该改为!=0&&i%7,这个条件的意思是,5:
if(
㈣ 合式公式如何判定(离散数学)
(1)单个命题常项或变项是合式公式;
(2)如果A是合式公式,则﹁A也是合式公式;
(3)如果A,B是合式公式,则P∧Q、P∨Q、P®Q、 P«Q也是合式公式;
(4)只有有限次地应用(1)~(3)所包含的命题变元,联结词和括号的符号串才是合式公式。
今后我们将合式公式称为命题公式,或简称为公式。