离散数学实验报告 2011.docVIP

《离散数学》 实验报告 学 院 科信软件学院 专 业 计算机科学与技术 指导教师 邹丽娜 学 号 姓 名 赵辉 提交日期 2011-12-23 实验一 连结词逻辑运算 一.实验目的 实现二元合取、析取、蕴涵和等价表达式的计算。熟悉连接词逻辑运算规则，利用程序语言实现逻辑这几种逻辑运算。 二.实验内容 从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、蕴涵和等价四种运算的的真值。要求对输入内容进行分析，如果不符合0、1条件需要重新输入，程序有良好的输入输出界面。 三. 实验过程 1. 算法分析： 编程语言为c语言 合取/\：p，q都为1的时候为1，其他为0 析取\/：p，q都为0的时候为0，其他为1 蕴含-：p为1，q为0时为0，其他为1 等价-：p，q同真同假 2. 程序代码： #includestdio.h int main() { int p,q,i,t; printf(************************************************\n); printf(*** ***\n); printf( 欢迎进入逻辑运算软件\n); printf(*** ***\n); printf(************************************************\n); do{ printf(请输入p的值(0或1)); scanf(%d,p); if(p!=0p!=1) printf(输入有误); }while(p!=0p!=1); do{ printf(请输入q的值(0或1)); scanf(%d,q); if(q!=0q!=1) printf(输入有误); }while(q!=0q!=1); do{ printf(请选择要进行的操作\n); printf(1:合取\n2:析取\n3:蕴含\n4:等价\n); scanf(%d,i); switch(i){ case 1:{ if(pq) printf(合取运算：p/\\q=1\n); else printf(合取运算：p/\\q=0\n); break; } case 2:{ if(p||q) printf(析取运算：p\\/q=1\n); else printf(析取运算：p\\/q=0\n); break; } case 3:{ if(p!q) printf(蕴含：p-q=0\n); else printf(蕴含：p-q=1\n); break;} case 4:{ if((pq)||(!p!q)) printf(等价运算：p-q=1\n); else printf(等价运算：p-q=0\n); break; } }printf(是否继续运算1\\0\n); scanf(%d,t); }while(t); return 0; } 3.实验数据及结果分析； 初始界面 输入及选择进行的操作 循环操作 退出 实验二 关系的闭包运算 一 、实验目的 熟悉关系的闭包运算，编程实现关系闭包运算算法。 一 、实验内容 利用矩阵求解有限集上给定关系的自反、对称和传递闭包。 三. 实验过程 1. 算法分析： 在三种闭包中自反和对称闭包的求解很容易，对矩阵表示的关系，其自反闭包只要将矩阵的主对角线全部置为1就可；对称闭包则加上关系的转置矩阵（逻辑加法）；传递闭包则有两种算法（二选一即可）： 算法1：直接根据计算，过程略。 算法2：Warshall算法(1962) 设R的关系矩阵为M (1)令矩阵A=M (2)置i=1 (3)对所有的j，若A[j，i]=1，则 对于 k=1，2，…，n，令A[j，k]=A[j，k]+A[i，k] 注：此处为逻辑加，可以使用运算符|| (4) i=i+l． (5)若i≤n，则转到(3)，否则结束． 流程图 2. 程序代码：(c++) #includeio