离散数学上机实验报告.docVIP

实验二：程序实现逻辑运算 程序实现关系运算 姓 名： 叶云燕 学 号： 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的电脑一台