构造任意合式公式的真值表

2004-12-11 11:26:12 1.2k 阅读 AI 写同款 · GEO 优化AI 选题数据监测一键分发 ›

192-构造合式公式的真值表构造合式公式的真值表1256给出任意变元（不超过4个变元，如：P,Q,S,R）的合式公式。构造该合式公式的真值表。需要用特定的字符串将联结词表示（如~可以表示非，->表示蕴涵，表示等价，\/表示析取，/\表示合取，中间不加任何空格），输入合式公式。构造真值表有如下约定：① 命题变元按字典序排列；② 对公式的每个解释，以二进制数从小到大或者从大到小顺序列出；③ 若公式复杂，可先列出各子公式的真值(若有括号,则应从里层向外层展开)，最后列出所给公式的真值；④。阅读详情

构造任意合式公式的真值表
A)功能
给出任意变元的合式公式，要求构造该合式公式的真值表。
B)基本思想
我们仍然用数值变量来表示命题变元。合式公式的表示及求真值的方法采用1.2 中所采用的方法，并在程序计算之前将转换后的合式公式输入到本程序200语句中条件位置上。另外，我们使用一维数组A(N)来表示合式公式中所出现的n个命题变元。例如合式公式：
(P∨Q)∧((P∨R) ∨S)应表示成以下语句：
200 IF NOT （A（1）=1 OR A（2）=1）AND （（A（1）=1 OR A（3）=1） OR A（4）=1） THEN Z=1 ELSE Z=0
其中，一维数组A(N)除了表示n 个命题变元，它还是一个二进制加法器的模拟器，每当在这个模拟器中产生一个二进制数时，就相当于给各命题变元产生了一组真值指派。其中数值1表示真值真，而0表示值假。
C)算法
（1）将二进制加法器模拟器A(N)赋初值。0 ai (i=1,2,….,n)。
（2）计算模拟器中所对应的一组真值指派下合式公式的真值（200语句）。
（3）输出真值表中对应于模拟器所给出的一组真值指派及这组真值指派所对应的一行真值。
（4）在模拟器A(N)，模拟的产生下一个二进制数值。
（5）若A(N)中的数值等于2n,则结束，否则转（2）。

...全文