离散数学实验告.docVIP

“离散数学”实验报告 (实验1) 专 业 班 级 学 号 姓 名 2011.3.20 目录 TOC \o 1-3 \h \z \u HYPERLINK \l _Toc276474920 一.实验目的 2 HYPERLINK \l _Toc276474921 二.实验内容 2 HYPERLINK \l _Toc276474922 1. 逻辑联接词的运算 2 HYPERLINK \l _Toc276474923 2. 求任意一个命题公式的真值表 3 HYPERLINK \l _Toc276474924 三.实验环境 3 HYPERLINK \l _Toc276474925 四. 实验原理和实现过程（算法描述） 3 HYPERLINK \l _Toc276474926 1.实验原理 3 HYPERLINK \l _Toc276474927 2.实验过程 4 HYPERLINK \l _Toc276474928 五.实验数据及结果分析 8 1. HYPERLINK \l _Toc276474929 题A 8 2. HYPERLINK \l _Toc276474930 B,C题 10 HYPERLINK \l _Toc276474931 六. 源程序清单 PAGEREF _Toc276474931 \h 14 1. HYPERLINK \l _Toc276474932 A题部分源代码 PAGEREF _Toc276474932 \h 14 2. HYPERLINK \l _Toc276474933 B,C题部分源代码 PAGEREF _Toc276474933 \h 15 HYPERLINK \l _Toc276474934 七. 其他收获和体会 PAGEREF _Toc276474934 \h 23 一.实验目的； 本实验课程是信息专业学生的一门专业基础课程，通过实验，帮助学生更好地掌握计算机科学技术常用的离散数学中的概念、性质和运算；通过实验提高学生编写实验报告、总结实验结果的能力；使学生具备程序设计的思想，能够独立完成简单的算法设计和分析。 熟悉掌握命题逻辑中的联接词、真值表、主范式等，进一步能用它们来解决实际问题。 二.实验内容； 1. 从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和双条件的真值。（A） 2. 求任意一个命题公式的真值表（B，并根据真值表求主范式（C）） 详细说明： 1. 逻辑联接词的运算 本实验要求大家利用C/C＋＋语言，实现二元合取、析取、条件和双条件表达式的计算。充分利用联接词和逻辑运算符之间的相似性实现程序功能。 2. 求任意一个命题公式的真值表 本实验要求大家利用C/C＋＋语言，实现任意输入公式的真值表计算。一般我们将公式中的命题变元放在真值表的左边，将公式的结果放在真值表的右边。命题变元可用数值变量表示，合适公式的表示及求真值表转化为逻辑运算结果；可用一维数表示合式公式中所出现的n个命题变元，同时它也是一个二进制加法器的模拟器，每当在这个模拟器中产生一个二进制数时，就相当于给各个命题变元产生了一组真值指派。算法逻辑如下： （1）将二进制加法模拟器赋初值0 （2）计算模拟器中所对应的一组真值指派下合式公式的真值。 （3）输出真值表中对应于模拟器所给出的一组真值指派及这组真值指派所对应的一行真值。 （4）产生下一个二进制数值，若该数值等于2n-1，则结束，否则转（2）。 三.实验环境； 使用visual C++6.0为编程软件，采用C语言为编程语言实现。 四. 实验原理和实现过程（算法描述）； 1.实验原理 （1）合取：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P∧Q, 读作P、Q的合取, 也可读作P与Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P = T, Q = T时方可P∧Q =T, 而P、Q只要有一为F则P∧Q = F。这样看来，P∧Q可用来表示日常用语P与Q, 或P并且Q。 （2）析取：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P∨Q, 读作P、Q的析取, 也可读作P或Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P = F, Q = F时方可P∨Q =F, 而P、Q只要有一为T则P∨Q = T。这样看来，P∨Q可用来表示日常用语P或者Q。 （3）条件：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P→Q, 读作P条件Q, 也可读作如果P，那么Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P = T, Q = F时方