下载  >  课程资源  >  C/C++  > 输出多个命题公式的合取式真值表

输出多个命题公式的合取式真值表 评分

给出任意变元的合式公式,构造该合式公式的真值表

...展开详情
所需积分/C币:6 上传时间:2012-02-28 资源大小:105KB
举报 举报 收藏 收藏 (2)
分享 分享

评论 下载该资源后可以进行评论 6

ccx527191915 新手看可能会有些难度
2014-06-08
回复
sfz11071125 还行吧!基本功能是实现了,就是不算太完美。赞一个!
2013-07-01
回复
zstrongh 基本完成了多个命题公式真值表,有方向就能前进
2013-04-06
回复
shenshuqu 很好的,不过就是class看不懂……
2012-11-29
回复
mig_davidli 挺好的 顶一个 class 其实和struct差不多 函数放到里面还是外边而已 .
2012-10-08
回复
c语言离散数学程序设计,求真值表,析取,合取

c语言离散数学程序设计,求真值表,析取,合取 真值表,析取,合取程序设计,离散数学,C语言,小程序,报告 自己编的小程序,拿来和大家分享 希望有用,初学离散懒得算的也可以用用

立即下载
构造任意合适公式的真值表

构造任意合适公式的真值表 (一) 问题描述 给出任意变元的合适公示,构造该合适公式的真值表。 (二) 算法分析 主要用到的算法:递归消减求值

立即下载
用c语言做命题公式真值表(仅支持交,并,非三种运算符)

用c语言做命题公式真值表(仅支持交,并,非三种运算符)

立即下载
命题公式的真值表及主析取主合取范式

这是我门上机作业,有个同学做的很好,拿来和大家分享,希望对大家有益^

立即下载
命题公式真值表 的生成算法

真值表 是命题逻辑理论 中的一个重要 概念 , 利用它可 以求命 题公式 的主 范式 、 定命 题公式 的类型以及 进行 判命题 逻辑的推理等 。本文给 出了 意命题 公式真值 表的生成 算法 , 用计算机 解决命题 逻辑 中的其它 问题奠定 了基础 。

立即下载