内容发布更新时间 : 2024/8/19 22:51:16星期一 下面是文章的全部内容请认真阅读。
“离散数学”实验报告
(实验1)
专 业 班 级 学 号 姓 名
2011.3.20
目录
一.实验目的 ....................................................... 2 二.实验内容 ....................................................... 2
1. 逻辑联接词的运算 .............................................................................................. 2 2. 求任意一个命题公式的真值表 .......................................................................... 3
三.实验环境 ....................................................... 3 四. 实验原理和实现过程（算法描述） ............................ 3
1.实验原理 ................................................................................................................ 3 2.实验过程 ................................................................................................................ 4
五.实验数据及结果分析 ........................................... 8
1.题A .......................................................................................................................... 8 2.B,C题 .................................................................................................................... 10
六. 源程序清单 .............................................. - 13 -
1.A题部分源代码 ............................................................................................... - 13 - 2.B,C题部分源代码 ........................................................................................... - 14 -
七. 其他收获和体会 ......................................... - 22 -
- 1 -
一.实验目的；
本实验课程是信息专业学生的一门专业基础课程，通过实验，帮助学生更好地掌握计算机科学技术常用的离散数学中的概念、性质和运算；通过实验提高学生编写实验报告、总结实验结果的能力；使学生具备程序设计的思想，能够独立完成简单的算法设计和分析。
熟悉掌握命题逻辑中的联接词、真值表、主范式等，进一步能用它们来解决实际问题。
二.实验内容；
1. 从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和双条件的真值。（A）
2. 求任意一个命题公式的真值表（B，并根据真值表求主范式（C）） 详细说明：
1. 逻辑联接词的运算
本实验要求大家利用C/C＋＋语言，实现二元合取、析取、条件和双条件表达式的计算。充分利用联接词和逻辑运算符之间的相似性实现程序功能。
2. 求任意一个命题公式的真值表
本实验要求大家利用C/C＋＋语言，实现任意输入公式的真值表计算。一般我们将公式中的命题变元放在真值表的左边，将公式的结果放在真值表的右边。命题变元可用数值变量表示，合适公式的表示及求真值表转化为逻辑运算结果；可用一维数表示合式公式中所出现的n个命题变元，同时它也是一个二进制加法器的模拟器，每当在这个模拟器中产生一个二进制数时，就相当于给各个命题变元产生了一组真值指派。算法逻辑如下： （1）将二进制加法模拟器赋初值0
（2）计算模拟器中所对应的一组真值指派下合式公式的真值。
（3）输出真值表中对应于模拟器所给出的一组真值指派及这组真值指派所对应的一行真值。
（4）产生下一个二进制数值，若该数值等于2n-1，则结束，否则转（2）。
- 2 -