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

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)。

◆◆

评论读取中....

请登录后再发表评论!

◆◆

修改失败,请稍后尝试

c语言构造合式公式真值表,求C++构造任意合式公式的真值表?相关推荐

  1. c语言构造合式公式真值表,构造任意合式公式的真值表.doc

    构造任意合式公式的真值表 构造任意合式公式的真值表 #include "stdio.h" #include"thesis.h" int main() { The ...

  2. c语言中栈区运用原理形象图,C语言实现使用动态数组来构造栈结构

    我在面前一篇博客<C语言实现使用静态数组来构造栈结构>中使用了静态数组来模拟栈的操作.静态数组的大小是在代码中写死的.是存储在用户栈上面的,使用起来不灵活.在这篇博客中我会使用动态数组来构 ...

  3. r语言中对向量求条件语句_R中的条件语句

    r语言中对向量求条件语句 To advance with programming, we need to be able to control the flow of the program exec ...

  4. c语言求不定式的最大值,C语言之四则运算表达式求值(链栈)—支持浮点型数据,负数, 整型数据运算...

    运算符间的优先级关系: 链栈结构体定义: 数据域使用字符串长度为20的字符数组(故需要注意判断读取的字符串是运算符还是数值) 可支持浮点型数据,负数, 整型数据的运算 float EvaluateEx ...

  5. 离散实验 真值表求主析取范式、主合取范式的计算机语言实现

    离散数学 实验一 标题:真值表求主析取范式.主合取范式的计算机语言实现 其他课程的一些其他实验源码也可在本人github主页找到哦 链接如下:https://github.com/Schiz0mani ...

  6. 特征构造系列3:笛卡尔乘积特征构造以及遗传编程特征构造

    文章目录 1.笛卡尔乘积特征构造 1.1 原理 1.2 类别特征进行笛卡尔乘积特征组合 1.3 连续值特征进行笛卡尔乘积特征组合 2.遗传编程特征构造 2.1 原理 2.2 gplearn 2.3 遗 ...

  7. C/C++ 语言中的表达式求值

    转载地址:http://www.cnblogs.com/heyonggang/p/3340301.html 在此,首先向裘老师致敬! 裘宗燕:C/C++ 语言中的表达式求值 经常可以在一些讨论组里看到 ...

  8. 裘宗燕:C/C++ 语言中的表达式求值

    裘宗燕:C/C++ 语言中的表达式求值 经常可以在一些讨论组里看到下面的提问:"谁知道下面C语句给n赋什么值?" m = 1; n = m+++m++; 最近有位不相识的朋友发em ...

  9. R语言 表达式对象的求值 eval

    R语言 表达式对象的求值 eval 模式为 "expression"的对象在Expression objects 有具体定义.它们和引用对象的列表非常相似. > ex < ...

最新文章

  1. mysql timestamp 转型_MySQL的timestamp类型自动更新问题【转】
  2. 数字下变频和数字上变频
  3. liu四声拼音怎么读_拼音是99%的西安孩子幼升小必备知识!附:幼小拼音学习计划...
  4. C++中利用WebService下载文件
  5. 安卓界面之Viewpager和Tablayout实现滑动界面
  6. 一个超级牛X的Python可视化库,隔壁老奶奶都会用!
  7. 转:高效代码审查的八条准则和十个经验
  8. attachment old API read - DB debug
  9. jquery获取checkbox是否选中
  10. 数据结构之栈的应用:递归
  11. QT TextEdit设置背景、明文加密、弹出网站、弹出自定义对话框、gif动态图片、程序启动动画、打包程序、关闭事件
  12. Wordfence Premium 安全防护 WordPress插件
  13. C语言自增自减运算辨析
  14. Codeforces Round # 555 (Div. 3) C2. Increasing subsequence (complicated version) (贪心)
  15. 22. Asteroid: the PyTorch-based audio source separation toolkit for researchers
  16. 携程旅行网的盈利模式
  17. Comparing the Effects of DNS, DoT, and DoH
  18. InnerHTML、InnerText、outerHTML的用法与区别
  19. Java利用qq邮箱发送邮件
  20. 导航栏随页面滚动html,实现随着滚动条滚动,导航会自动切换的效果

热门文章

  1. Java入门第66课——银行卡系统(实现银联接口)
  2. linux ext4文件系统分析,LinuxEXT4文件系统分析
  3. Oracle安装与卸载
  4. CCIE-IGMPV2和IGMP SNOOPING
  5. 用C语言编写你自己内核
  6. 2023年南京理工大学外国语学院英语笔译上岸经验
  7. 自助入住,智慧酒店必备——刷脸支付系统
  8. [回归分析][11]--共线性数据的分析
  9. gis等时圈怎么做_【干货分享】如何一键生成等时圈?
  10. 使用PC Access实现WinCC v7.4和S7-200 PLC之间的通信