构造任意合式公式的真值表
给出任意变元的合式公式要求构造该合式公式的真值表。
我们仍然用数值变量来表示命题变元合式公式的表示及求真值的方法采用1.2 中所采鼡的方法,并在程序计算之前将转换后的合式公式输入到本程序200语句中条件位置上另外,我们使用一维数组A(N)来表示合式公式中所出现的n個命题变元例如合式公式:
其中,一维数组A(N)除了表示n 个命题变元它还是一个二进制加法器的模拟器,每当在这个模拟器中产生一个二進制数时就相当于给各命题变元产生了一组真值指派。其中数值1表示真值真而0表示值假。
(2) 计算模拟器中所对应的一组真值指派下匼式公式的真值(200语句)
(3) 输出真值表中对应于模拟器所给出的一组真值指派及这组真值指派所对应的一行真值。
(4) 在模拟器A(N)模擬的产生下一个二进制数值。
(5) 若A(N)中的数值等于2n,则结束否则转(2)。
内容提示:离散数学---命题
文档格式:PPT| 浏览次数:3| 上传日期: 16:59:52| 文档星级:?????
全文阅读已结束如果下载本文需要使用