离散数学(第10讲习题课2)(免费阅读).pptVIP

* 计算机学院 * 实验1 题目：构造任意合式公式的真值表 1、功能：给出任意变元的合式公式，构造该合式公式的真值表 2、基本思想：以用数值变量表示命题变元为前提规范，合式公式的表示及求真值表采用通过将合式公式表示成为条件语句中的条件表达式，对每个赋值其合式公式的真值即为该合式公式的逻辑运算结果；使用一维数组a[N]表示合式公式中所出现的n个命题变元，同时它也是一个二进制加法器的模拟器，每当在这个模拟器中产生一个二进制数时，就相当于给各个命题变元产生了一组真值指派。 * 计算机学院 * 3、算法逻辑 将二进制加法模拟器赋初值， 计算模拟器中所对应的一组真值指派下合式公式的真值（条件语句）。 输出真值表中对应于模拟器所给出的一组真值指派及这组真值指派所对应的一行真值。 在模拟器a[N]中，模拟产生下一个二进制数值。 若a[N]中的数值等于2n ，则结束，否则转②。 4、要求 用C语言编写出相应的程序，并至少通过输入两个合 式公式进行验证，打印出结果。 计算机学院 计算机科学与工程学院 计算机科学与工程学院 冯伟森 Email：fws365@scu.edu.cn * * 计算机学院 * * 计算机学院 * 一、基本概念 全总个体域（全论域）、全称量词、存在量词、特性谓词、指导（作用）变元、辖域（作用域）、约束变元、自由变元、约束变元的改名规则、自由变元的