“离散数学”实验报告.docx

“离散数学”实验报告.docx“离散数学”实验报告(实验1)专业 班级 学号 姓名 2二实验内容 2逻辑联接词的运算 2求任意一个命题公式的真值表 3实验环境 3实验原理和实现过程(算法描述) 3•实验原理 3•实验过程 4实验数据及结果分析 8题A 8B,C题 10源程序清单 -13-题部分源代码 -13-,C题部分源代码 -14-七其他收获和体会 -22 -;本实验课程是信息专业学生的一门专业基础课程,通过实验,帮助学生更好地掌握计算机科学技术常用的离散数学屮的概念、性质和运算;通过实验提高学生编写实验报告、总结实验结果的能力;使学生具备程序设计的思想,能够独立完成简单的算法设计和分析。熟悉掌握命题逻辑屮的联接词、真值表、主范式等,进一•步能用它们来解决实际问题。;从键盘输入两个命题变元P和Q的真值,求它们的合取、析取、条件和双条件的真值。(A)求任意一个命题公式的真值表(B,并根据真值表求主范式(C))详细说明:逻辑联接词的运算本实验要求大家利用C/C++语言,实现二元合取、析取、条件和双条件表达式的计算。充分利用联接词和逻辑运算符Z间的相似性实现程序功能。求任意一个命题公式的真值表本实验要求大家利用C/C++语言,实现任意输入公式的真值表计算。--般我们将公式屮的命题变元放在真值表的左边,将公式的结果放在真值表的右边。命题变元可用数值变量表示,合适公式的表示及求真值表转化为逻辑运算结果;可用一维数表示合式公式屮所出现的n个命题变元,同吋它也是i个二进制加法器的模拟器,每半在这个模拟器屮产生一个二进制数时,就相半于给各个命题变元产生了一组真值指派。算法逻辑如下:将二进制加法模拟器赋初值0计算模拟器屮所对应的一组真值指派下合式公式的真值。输出真值表屮对应于模拟器所给出的一•组真值指派及这组真值指派所对应的一行真值。产生下一个二进制数值,若该数值等于2"-1,则结束,否则转(2)。三•实验环境;使用visualC++,采用C语言为编程语言实现。(算法描述);实验原理(1) 合取:二元命题联结词。将两个命题P、Q联结起来,构成一•个新的命题P/\Q,读作P、Q的合取,也可读作P与Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有为两个命题变项P=T,Q=TH寸方可PAQ二T,而P、Q只要有一为F则PAQ=Fo这样看来,PAQ可用来表示日常用语P与Q,或P并且Q。(2) 析取:二元命题联结词。将两个命题P、Q联结起来,构成一•个新的命题PVQ,读作P、Q的析取,也可读作P或Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有为两个命题变项P=F,Q=FI1寸方可PVQ二F,而P、Q只要有一为T则PVQ=To这样看来,PVQ可用来表示H常用语P或者Q。(3) 条件:二元命题联结词。将两个命题P、Q联结起来,构成一•个新的命题P-Q,读作P条件Q,也可读作如果P,那么Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有为两个命题变项P二T,Q=F时方可P-Q二F,其余均为To(4) 双条件:二元命题联结词。将两个命题P、Q联结起来,构成一•个新的命题P-fQ,读作P双条件于Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为当两个命题变项P=T,Q二TH寸方可Q二T,其余均为F。(5) 真值表:表征逻辑事件输入和输出乞间全部可能状态的表格。列出命题公式真假值的表。通常以1表示真,0表示假。命题公式的取值由组成命题公式的命题变元的取值和命题联结词决定,命题联结词的真值表给出了真假值的算法。真值表是在逻辑屮使用的一类数学表,用来确定一个表达式是否为真或有效。(6) 主范式:主析取范式:在含有n个命题变元的简单合取式屮,若每个命题变元与其否定不同吋存在,而两者之一出现一次且仅出现一次,称该简单合取式为小项。由若干个不同的小项组成的析取式称为主析取范式;与A等价的主析取范式称为A的主析取范式。任意含n个命题变元的非永假命题公式A都存在与其等价的主析取范式,并且是惟一的。主合取范式:在含有n个命题变元的简单析取式屮,若每个命题变元与其否定不同吋存在,而两者之一出现一次且仅出现一次,称该简单析取式为大项。由若干个不同的大项组成的合取式称为主合取范式;与A等价的主合取范式称为A的主合取范式。任意含n个命题变元的非永真命题公式A都存在与其等价的主合取范式,并且是惟一的。实验过程(1)A题部分,首先是对各个输入量的处理,要确定输入的为0或1,否则则为出错,接下来就是运算处理,在C语言屮本身支持的有与或非这三种,可以用!,&&,11來表示,而在这个实验屮,不是与或非的可以通过转化而变为与或非的形式,具体流程图如下:(2)B,C题部分,首先是输入一个合