1. 首页
  2. 编程语言
  3. 其他
  4. 命题公式真值表的生成算法

命题公式真值表的生成算法

上传者: 2019-05-14 18:48:02上传 PDF文件 163.04KB 热度 40次
真值表是命题逻辑理论中的一个重要概念,利用它可以求命题公式的主范式、定命题公式的类型以及进行判命题逻辑的推理等。本文给出了意命题公式真值表的生成算法,用计算机解决命题逻辑中的其它问题奠定了基础。
下载地址
用户评论
码姐姐匿名网友 2019-05-14 18:48:02

刚好解决了离散数学的输出真值表问题。

码姐姐匿名网友 2019-05-14 18:48:02

还不错,在学习数理逻辑,遇到这个问题,学习了

码姐姐匿名网友 2019-05-14 18:48:02

能运行,在学离散数学,有帮助

码姐姐匿名网友 2019-05-14 18:48:02

在学离散数学,正好用上!

码姐姐匿名网友 2019-05-14 18:48:02

还不错,但是觉得理解上还是有些问题

码姐姐匿名网友 2019-05-14 18:48:02

算法还可以。

码姐姐匿名网友 2019-05-14 18:48:02

只有算法,具体的实现代码根本不可行