离散数学上机实验报告

1、离散数学实验报告实验二：程序实现逻辑运算程序实现关系运算姓 名： 叶云燕 学 号： 2014211617 班 级： 计算机科学与技术14-2班 实验地点： 4号机房 实验时间： 2015.10.2 1 实验目的和要求实验目的：(1) 编程实现各种常见的逻辑运算；(2) 编程实现关系的闭包运算的求解。 实验要求：(1)在luojiyuns.cpp文件中补充And(), Or(), Not(), Xor(), Single_condition(), Doublbe_condition()以实现基本逻辑运算；(2)运行程序验证用常量表示的复杂逻辑表达式的真值求解方法(3)补充luojiyuns.cp

2、p文件中的Unknown_Logic()的两段代码以实现以变量表示的复杂逻辑表达式的结果输出(以真值表形式)以及主合取和主析取范式输出(4)熟练使用C+进行编码，掌握VC+6.0的有关操作。(5) 在warshallDlg.cpp文件中的CWarshallDlg:OnCalculate() 函数中补充warshall算法2 实验环境和工具装有VC+6.0的电脑一台。3 实验结果3.1算法流程图3.2程序核心代码（1）编程实现基本的逻辑运算/*/该函数用于检测输入的单逻辑值是否正确/val_one为要进行检测的逻辑值*/ int luoji:onevalue_Judge(int val_one)

3、 if(val_one=0|val_one=1 ) return 1; else return 0; /*/该函数用于检测输入的双逻辑值是否正确/val_one和val_two为要进行检测的逻辑值*/ int luoji:twovalue_Judge(int val_one,int val_two) if(val_one=0|val_one=1)&&(val_two=0|val_two=1) return 1; else return 0; /*/该函数用于进行逻辑与运算/val_one和val_two分别为参与运算的逻辑值/调用twovalue_Judge函数检测是否符合输入

4、要求，然后进行/逻辑运算并返回运算结果*/ int luoji:And(int val_one,int val_two) int jud; if(twovalue_Judge(val_one,val_two)=1) if(val_one=1&&val_two=1)return 1; else return 0; else Output(); return 2; cout<<"nn" /*/该函数用于进行逻辑或运算/val_one和val_two分别为要进行计算逻辑值/调用twovalue_Judge函数检测是否符合输入要求，然后进行/逻辑运算并返

5、回运算结果*/ int luoji:Or(int val_one,int val_two) int jud; if(twovalue_Judge(val_one,val_two)=1) if(val_one=1|val_two=1)return 1; else return 0; else Output(); return 2; cout<<"nn" /*/该函数用于进行逻辑非运算/val_one为要进行计算的逻辑值/调用onevalue_Judge函数检测是否符合输入要求，然后进行/逻辑运算并返回运算结果*/ int luoji:Not(int val_one

6、) int jud; if( onevalue_Judge(val_one)=1 ) if(val_one=1)return 0; else return 1; else Output(); return 2; cout<<"nn" /*/该函数用于进行逻辑异或运算/val_one和val_two分别为要进行计算逻辑值/调用twovalue_Judge函数检测是否符合输入要求，然后进行/逻辑运算并返回运算结果*/ int luoji:Xor(int val_one,int val_two) int jud; if(twovalue_Judge(val_one,v

7、al_two)=1) if(val_one+val_two=1)return 1; else return 0; else Output(); return 2; cout<<"nn" */该函数用于进行逻辑单条件运算/val_one和val_two分别为要进行计算逻辑值*/ int luoji:Single_condition(int val_one,int val_two) int jud; if(twovalue_Judge(val_one,val_two)=1) if(val_one=1&&val_two=0)return 0; else

8、 return 1; else Output(); return 2; cout<<"nn" /*/该函数用于进行逻辑双条件运算/val_one和val_two分别为要进行计算逻辑值*/int luoji:Double_condition(int val_one,int val_two) int jud; if(twovalue_Judge(val_one,val_two)=1) if(val_one+val_two=1)return 0; else return 1; else Output(); return 2; cout<<"nn&

9、quot; （4）warshall算法/*/该函数用于将获得的矩阵使用warshall算法计算并输出/将输入的string转化存储到二维矩阵two_mat中*/void CWarshallDlg:OnCalculate() CString dimension,string,tmp; CString ch; static int dim;int num;int count=0;GetDlgItem( DIMENSION )->GetWindowText(dimension);dim=atoi(dimension);int *one_mat=new intdim*dim; /定义一维动态数组

10、int *two_mat=new int *dim; /定义二维动态数组for(int i=0;i<dim;i+)two_mati = new intdim;GetDlgItem( STRING )->GetWindowText( string ); for(i=0;i<dim*dim;i+) /将字符串转化存到一维数组中if(i+1)%dim=0) ch=string.GetAt(i+count);count=count+;elsech=string.GetAt(i+count); num=atoi(ch); one_mati=num;for( i=0;i<dim;i

11、+) /将一维数组转化存到二维数组中for(int j=0;j<dim;j+)two_matij=one_matdim*i+j;/ 以下语句段使用warshall方法改变矩阵中的值以帮助求解传递闭包/ 需要用到的矩阵的行、列值存储在变量dim中，矩阵中各个位置上的对应/ 值存储在two_mat数组中int* temp=new int*dim;for(i=0;i<dim;i+)tempi=new intdim;for(int k=0;k<dim;k+)for(i=0;i<dim;i+)for(int j=0;j<dim;j+)tempij=(two_matij)|(two_matik&two_matkj);for( i=0;i<dim;i+)for(int j=0;j<dim;j+)two_matij=tempij;tmp=string=""for(i=0;i<dim;i+)for(int j=0;j<dim;j+)tmp.Format(" %d ",two_matij);string+=tmp;string+="rn&quo