离散数学实验报告1240111338.docVIP

南京工程学院 实 验 报 告 课程名称 离散数学 实验项目名称 命题逻辑 实验学生班级 K多媒体111 实验学生姓名 朱在吉 学　　　　号 240111338 同组学生姓名 实验时间 2012.10.25 实验地点 实验成绩评定 指导教师签字 　 年　月　日 一、实验目的和要求 真值表是命题逻辑中的一个十分重要的概念，利用它几乎可以解决命题逻辑中的所有问题。例如，利用命题公式的真值表，可以判断命题公式的类型、求命题公式的主范式、判断两命题公式是否等价，还可以进行推理等。 本实验通过编写一个程序，让计算机给出命题公式的真值表，并在此基础上进行命题公式类型的判定、求命题公式的主范式等。目的是让学生更加深刻地理解真值表的概念，并掌握真值表的求解方法及其在解决命题逻辑中其他问题中的应用。 二、实验主要仪器和设备 计算机 使用visual C++6.0为编程软件，采用C语言为编程语言实现。 三、实验方法与步骤（需求分析、算法设计思路、流程图等） . 求任意一个命题公式的真值表（B，并根据真值表求主范式（C）） 详细说明： 1. 逻辑联接词的运算 本实验要求大家利用C/C＋＋语言，实现二元合取、析取、条件和双条件表达式的计算。充分利用联接词和逻辑运算符之间的相似性实现程序功能。 2. 求任意一个命题公式的真值表 本实验要求大家利用C/C＋＋语言，实现任意输入公式的真值表计算。一般我们将公式中的命题变元放在真值表的左边，将公式的结果放在真值表的右边。命题变元可用数值变量表示，合适公式的表示及求真值表转化为逻辑运算结果；可用一维数表示合式公式中所出现的n个命题变元，同时它也是一个二进制加法器的模拟器，每当在这个模拟器中产生一个二进制数时，就相当于给各个命题变元产生了一组真值指派。算法逻辑如下： （1）将二进制加法模拟器赋初值0 （2）计算模拟器中所对应的一组真值指派下合式公式的真值。 （3）输出真值表中对应于模拟器所给出的一组真值指派及这组真值指派所对应的一行真值。 （4）产生下一个二进制数值，若该数值等于2n-1，则结束，否则转（2）。 2.实验过程 B，C题部分，首先是输入一个合理的式子，然后从式子中查找出变量的个数，开辟一个二进制函数，用来生成真值表，然后用函数运算，输出结果，并根据结果归类给范式，最后输出范式。 函数部分，主要是3个函数，一个为真值表递加函数，通过二进制的加法原理递进产生，一个为分级运算函数，这个函数是通过判断括号，选出最内级括号的内容执行运算函数，这样一级一级向外运算，最后得出最终结果，剩下一个为主运算函数，按照运算符号的优先级按顺序进行运算，如先将所有非运算运算完，再执行与运算。如此运算。 四、实验原始纪录（源程序、数据结构等） #include stdio.h #include stdlib.h #include string.h #include conio.h #include math.h #define N 50 void panduan(int b[N],int f);//赋值函数 int tkh (char sz[N], char ccu[N], int icu[N], int h0);//分级运算函数 int fkh (char sz[N], char ccu[N], int icu[N], int h0);//主运算函数 main() { int i1,i2,d=1,icu[N],kh=0,jg,j=0,h0;//icu[N]用于存放变量值,kh括号计数,jg存放结果 int bj=0,hq[N],h=0,x=0,xq[N];//hq[N]存放合取结果xq[N]存放析取结果 char sz[N],ccu[N],sz0[N],s;//sz[N]存放式子,ccu[N]存放变量,sz0[N]也是用于存放式子 hq[0]=-1; xq[0]=-1; printf(***************************************\n);//标语 printf(** **\n); printf(** 欢迎进入逻辑运算软件 **\n); printf(** (可