命题公式真值表的生成算法 上传者：atom17559 2019-05-14 18:48:02上传 PDF文件 163.04KB 热度 68次 真值表是命题逻辑理论中的一个重要概念,利用它可以求命题公式的主范式、定命题公式的类型以及进行判命题逻辑的推理等。本文给出了意命题公式真值表的生成算法,用计算机解决命题逻辑中的其它问题奠定了基础。 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 码姐姐匿名网友 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 只有算法，具体的实现代码根本不可行 发表评论
刚好解决了离散数学的输出真值表问题。
还不错，在学习数理逻辑，遇到这个问题，学习了
能运行，在学离散数学，有帮助
在学离散数学，正好用上！
还不错，但是觉得理解上还是有些问题
算法还可以。
只有算法，具体的实现代码根本不可行