作业帮 > 综合 > 作业

离散数学实验,用C语言编程……

来源:学生作业帮 编辑:神马作文网作业帮 分类:综合作业 时间:2024/09/22 01:25:35
离散数学实验,用C语言编程……
构造任意合式公式的真值表
1、功能:给出任意变元的合式公式,构造该合式公式的真值表
2、基本思想:以用数值变量表示命题变元为前提规范,合适公式的表示及求真值表采用通过将合式公式表示成为条件语句中的条件表达式,对每个赋值其合式公式的真值即为该合式公式的逻辑运算结果;使用一维数组a[N]表示合式公式中所出现的个命题变元,同时它也是一个二进制加法器的模拟器,每当在这个模拟器中产生一个二进制数时,就相当于给各个命题变元产生了一组真值指派.
3、算法逻辑
将二进制加法模拟器赋初值,
计算模拟器中所对应的一组真值指派下合式公式的真值(条件语句).
输出真值表中对应于模拟器所给出的一组真值指派及这组真值指派所对应的一行真值.
在模拟器a[N]中,模拟产生下一个二进制数值.
若a[N]中的数值等于2n ,则结束,否则转②.
离散数学实验,用C语言编程……
有一个川大软件的