c语言编程求主合取范式,求给定命题公式真值表并根据真值表求公式主范式.doc...

“离散数学”实验报告

(求给定命题公式的真值表一.实验目的3

二.实验内容……………………………………………………………………….3

求任意一个命题公式的真值表3

三.实验环境3

四. 实验原理和实现过程(算法描述)3

1.实验原理3

2.实验流程图5

五.实验代码6

六. 实验结果14

七. 实验总结19

一.实验目的

本实验课程是网络工程专业学生的一门专业基础课程，通过实验，帮助学生更好地掌握计算机科学技术常用的离散数学中的概念、性质和运算；通过实验提高学生编写实验报告、总结实验结果的能力；使学生具备程序设计的思想，能够独立完成简单的算法设计和分析。

熟悉掌握命题逻辑中的真值表、主范式等，进一步能用它们来解决实际问题。

二.实验内容

求任意一个命题公式的真值表，并根据真值表求主范式

详细说明：

求任意一个命题公式的真值表

本实验要求大家利用C/C＋＋语言，实现任意输入公式的真值表计算。一般我们将公式中的命题变元放在真值表的左边，将公式的结果放在真值表的右边。命题变元可用数值变量表示，合适公式的表示及求真值表转化为逻辑运算结果；可用一维数表示合式公式中所出现的n个命题变元，同时它也是一个二进制加法器的模拟器，每当在这个模拟器中产生一个二进制数时，就相当于给各个命题变元产生了一组真值指派。算法逻辑如下：

(1)将二进制加法模拟器赋初值0

(2)计算模拟器中所对应的一组真值指派下合式公式的真值。

(3)输出真值表中对应于模拟器所给出的一组真值指派及这组真值指派所对应的一行真值。</