c语言构造合式公式真值表,求C++构造任意合式公式的真值表?
构造任意合式公式的真值表
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++构造任意合式公式的真值表?相关推荐
- c语言构造合式公式真值表,构造任意合式公式的真值表.doc
构造任意合式公式的真值表 构造任意合式公式的真值表 #include "stdio.h" #include"thesis.h" int main() { The ...
- c语言中栈区运用原理形象图,C语言实现使用动态数组来构造栈结构
我在面前一篇博客<C语言实现使用静态数组来构造栈结构>中使用了静态数组来模拟栈的操作.静态数组的大小是在代码中写死的.是存储在用户栈上面的,使用起来不灵活.在这篇博客中我会使用动态数组来构 ...
- r语言中对向量求条件语句_R中的条件语句
r语言中对向量求条件语句 To advance with programming, we need to be able to control the flow of the program exec ...
- c语言求不定式的最大值,C语言之四则运算表达式求值(链栈)—支持浮点型数据,负数, 整型数据运算...
运算符间的优先级关系: 链栈结构体定义: 数据域使用字符串长度为20的字符数组(故需要注意判断读取的字符串是运算符还是数值) 可支持浮点型数据,负数, 整型数据的运算 float EvaluateEx ...
- 离散实验 真值表求主析取范式、主合取范式的计算机语言实现
离散数学 实验一 标题:真值表求主析取范式.主合取范式的计算机语言实现 其他课程的一些其他实验源码也可在本人github主页找到哦 链接如下:https://github.com/Schiz0mani ...
- 特征构造系列3:笛卡尔乘积特征构造以及遗传编程特征构造
文章目录 1.笛卡尔乘积特征构造 1.1 原理 1.2 类别特征进行笛卡尔乘积特征组合 1.3 连续值特征进行笛卡尔乘积特征组合 2.遗传编程特征构造 2.1 原理 2.2 gplearn 2.3 遗 ...
- C/C++ 语言中的表达式求值
转载地址:http://www.cnblogs.com/heyonggang/p/3340301.html 在此,首先向裘老师致敬! 裘宗燕:C/C++ 语言中的表达式求值 经常可以在一些讨论组里看到 ...
- 裘宗燕:C/C++ 语言中的表达式求值
裘宗燕:C/C++ 语言中的表达式求值 经常可以在一些讨论组里看到下面的提问:"谁知道下面C语句给n赋什么值?" m = 1; n = m+++m++; 最近有位不相识的朋友发em ...
- R语言 表达式对象的求值 eval
R语言 表达式对象的求值 eval 模式为 "expression"的对象在Expression objects 有具体定义.它们和引用对象的列表非常相似. > ex < ...
最新文章
- mysql timestamp 转型_MySQL的timestamp类型自动更新问题【转】
- 数字下变频和数字上变频
- liu四声拼音怎么读_拼音是99%的西安孩子幼升小必备知识!附:幼小拼音学习计划...
- C++中利用WebService下载文件
- 安卓界面之Viewpager和Tablayout实现滑动界面
- 一个超级牛X的Python可视化库,隔壁老奶奶都会用!
- 转:高效代码审查的八条准则和十个经验
- attachment old API read - DB debug
- jquery获取checkbox是否选中
- 数据结构之栈的应用:递归
- QT TextEdit设置背景、明文加密、弹出网站、弹出自定义对话框、gif动态图片、程序启动动画、打包程序、关闭事件
- Wordfence Premium 安全防护 WordPress插件
- C语言自增自减运算辨析
- Codeforces Round # 555 (Div. 3) C2. Increasing subsequence (complicated version) (贪心)
- 22. Asteroid: the PyTorch-based audio source separation toolkit for researchers
- 携程旅行网的盈利模式
- Comparing the Effects of DNS, DoT, and DoH
- InnerHTML、InnerText、outerHTML的用法与区别
- Java利用qq邮箱发送邮件
- 导航栏随页面滚动html,实现随着滚动条滚动,导航会自动切换的效果