中南大学离散数学实验报告(实验1ABC)

“离散数学”实验报告 (实验1ABC) 专 业 班 级 学 号 姓 名 日期：2011.12.05 离散数学实验报告1ABC 2 目录 一、实验目的............................................................................................................ 3 二、实验内容............................................................................................................ 3 三、实验环境............................................................................................................ 3 四、实验原理和实现过程（算法描述） ........................................................ 3 1、实验原理........................................................................................................... 3 2、实验过程 ......................................................................................................... 4 五、实验数据及结果分析 .................................................................................... 7 A题型 ...................................................................................................................... 7 B、C题型 ............................................................................................................... 9 六、源程序清单 .....................................................................................................13 A题部分源代码 ..................................................................................................13 B、C题部分源代码 .........................................................................................14 七、其他收获及体会............................................................................................22 离散数学实验报告1ABC 3 一、实验目的 熟悉掌握命题逻辑中的联接词、真值表、主范式等，进一步能用它们来解决实际问题。 二、实验内容 1. 从键盘输入两个命题变元P 和Q 的真值，求它们的合取、析取、条件和双条件的真值。（ A） 2. 求任意一个命题公式的真值表（B，并根据真值表求主范式（C）） 三、实验环境 C 或 C＋＋语言编程环境实现。 ...