离散数学上机实验报告解析.doc

实验二：程序实现逻辑运算 程序实现关系运算 姓 名： 叶云燕 学 号： 2014211617 班 级： 计算机科学与技术14-2班 实验地点： 4号机房 实验时间： 2015.10.2 实验目的和要求 实验目的： 编程实现各种常见的逻辑运算； 编程实现关系的闭包运算的求解。 实验要求： (1)在luojiyuns.cpp文件中补充And(), Or(), Not(), Xor(), Single_condition(), Doublbe_condition()以实现基本逻辑运算； (2)运行程序验证用常量表示的复杂逻辑表达式的真值求解方法 (3)补充luojiyuns.cpp文件中的Unknown_Logic()的两段代码以实现以变量表示的复杂逻辑表达式的结果输出(以真值表形式)以及主合取和主析取范式输出 (4)熟练使用C++进行编码，掌握VC++6.0的有关操作。 (5) 在warshallDlg.cpp文件中的CWarshallDlg::OnCalculate() 函数中补充warshall算法 实验环境和工具 装有VC++6.0的电脑一台。 实验结果 3.1算法流程图 3.2程序核心代码 （1）编程实现基本的逻辑运算 /**************************************************** //该函数用于检测输入的单逻辑值是否正确 //val_one为要进行检测的逻辑值 *****************************************************/ int luoji::onevalue_Judge(int val_one) { 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函数检测是否符合输入要求，然后进行 //逻辑运算并返回运算结果 *****************************************************/ int luoji::And(int val_one,int val_two) { int jud; if(twovalue_Judge(val_one,val_two)==1) { if(val_one==1val_two==1)return 1; else return 0; } else { Output(); return 2; } cout\n\n; } /**************************************************** //该函数用于进行逻辑或运算 //val_one和val_two分别为要进行计算逻辑值 //调用twovalue_Judge函数检测是否符合输入要求，然后进行 //逻辑运算并返回运算结果 *****************************************************/ int luoji::Or(int val_one,i