主合取范式

主合取范式Tag内容描述：<p>1、实验二 生成主析取范式和主合取范式实验二实验题目：生成主析取范式和主合取范式实验目的：1. 熟悉地掌握计算机科学技术常用的离散数学中的概念、性质和运算；通过实验提高学生编写实验报告、总结实验结果的能力；使学生具备程序设计的思想，能够独立完成简单的算法设计和分析。2. 掌握命题逻辑中的联接词、真值表、主范式等，进一步能用它们来解决实际问题。实验内容：利用计算机构造真值表来建立主析取范式和主合取范式实验原理：1. 合取：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题PQ。这个新命题的真值与构成它的命题。</p><p>2、作 业,2.11 p,q:0 r,s:1 (p(q r) (r s) (p r) ( q s) (p q r) (p q r) (p q r s) (p q r s),1,2.2 命题逻辑等值演算,2.2.1 等值式与等值演算 等值式与基本等值式 真值表法与等值演算法 2.2.2 联结词完备集 真值函数 联结词完备集 与非联结词和或非联结词,2,等值式,3,定义2.11 若等价式AB是重言式, 则称A与B等值, 记作 AB, 并称AB是等值式 说明: (1) 是元语言符号, 不要混同于和= (2) A与B等值当且仅当A与B在所有可能赋值下的真值都相 同, 即A与B有相同的真值表 (3) n个命题变项的真值表共有 个, 故每个命题公式都有 无穷多个等值的命题公。</p><p>3、,1,作业,2.11p,q:0r,s:1(p(qr)(rs)(pr)(qs)(pqr)(pqr)(pqrs)(pqrs),.,2,2.2命题逻辑等值演算,2.2.1等值式与等值演算等值式与基本等值式真值表法与等值演算法2.2.2联结词完备集真值函数联结词完备集与非联结词和或非联结词,.,3,等值式,定义2.11若等价式AB是重言式,则称A与。</p><p>4、作业,2.11p,q:0r,s:1(p(qr)(rs)(pr)(qs)(pqr)(pqr)(pqrs)(pqrs),1,2.2命题逻辑等值演算,2.2.1等值式与等值演算等值式与基本等值式真值表法与等值演算法2.2.2联结词完备集真值函数联结词完备集与非联结词和或非联结词,2,等值式,3,定义2.11若等价式AB是重言式,则称A与B等值,记作。</p><p>5、1,1.4析取范式与合取范式,简单析取式与简单合取式析取范式与合取范式主析取范式与主合取范式,2,定义文字:命题变项及其否定的总称.简单析取式:有限个文字构成的析取式.如p,q,pq,pqr,简单合取式:有限个文字构成的合取式.如p,q,pq,pqr,1）一个简单析取式为重言式当且仅当它同时含有一个命题变项及它的否定；,2）一个简单和取式为矛盾式当且仅当它同时含有一个命题。</p><p>6、第二章命题逻辑等值运算,第1节等值式,第2节析取范式与合取范式,第3节联结词的完备集,1,一、简单合取式和简单析取式,二、范式,第2节析取范式与合取范式,三、范式的唯一性主范式,四、几点注意,2,每种数字标准形都能提供很多信息，如代数式的因式分解可判断代数式的根情况。逻辑公式在等值演算下也有标准形范式，范式有两种：析取范式和合取范式。,定义2.2命题变项及其否定统称作文字.仅由有限个文字构成。</p><p>7、include stdio h include stdlib h include string h include math h define N 50 void pd int b N int f int H1 char T1 N char T2 N int T3 N int y int H2 char T1 N char T2 N int T3 N int y int main int i1。</p><p>8、,2.2析取范式与合取范式,简单析取式(简单合取式),命题变项及其否定称为文字。如p,p仅有有限个文字构成的析取式称作简单析取式。如p,q;pp，pq;pqr,pqr。,仅有有限个文字构成的合取式称作简单合取式。如p,q;pp，pq;pqr,ppq。,注意：一个文字既是简单析取式，又是简单合取式。一般用A1,A2,As表示s个简单析。</p><p>9、include stdio.h #include stdlib.h #include string.h #include math.h #define N 50 void pd(int bN,int f); int H1 (char T1N, char T2N, int T3N, int y); int H2 (char T1N, char T2N, int T3N。</p><p>10、include stdio h include stdlib h include string h include math h define N 50 void pd int b N int f int H1 char T1 N char T2 N int T3 N int y int H2 char T1 N char T2 N int T3 N int y int main int i1。</p><p>11、,1,1.4析取范式与合取范式,简单析取式与简单合取式析取范式与合取范式主析取范式与主合取范式,.,2,定义文字:命题变项及其否定的总称.简单析取式:有限个文字构成的析取式.如p,q,pq,pqr,简单合取式:有限个文字构成的合取式.如p,q,pq,pqr,1）一个简单析取式为重言式当且仅当它同时含有一个命题变项及它的否定；,2）一个简单和取式为矛盾式当且仅当它同时含有。</p><p>12、,2.2析取范式与合取范式,简单析取式(简单合取式),命题变项及其否定称为文字。如p,p仅有有限个文字构成的析取式称作简单析取式。如p,q;pp，pq;pqr,pqr。,仅有有限个文字构成的合取式称作简单合取式。如p,q;pp，pq;pqr,ppq。,注意：一个文字既是简单析取式，又是简单合取式。一般用A1,A2,As表示s个简单析。</p><p>13、实 验 报 告 学年 第 一 学期 课程名称 离散数学 实验名称 利用真值表法求主析取范式及主合取范式的实现 实验时间 年 月 日 指导单位 指导教师 学生姓名 班级学号 学院 系 专 业 实 验 报 告 实验名称 利用真值表法。</p><p>14、书书书 第 卷 第 期 年 月 计 算 机 学 报 收 稿 日 期 最 终 修 改 稿 收 到 日 期 本 课 题 得 到 国 家 自 然 科 学 基 金 和 教 育 部 博 士 点 基 金 资 助 朱 大 铭 男 年 生 博 士 教 授 博 士 生 导 师 主。</p>