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

• 作者: 徐凤生 李天志
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 命题公式 真值表 算法 栈
• 年，卷（期）: 2008,（1）
• 所属期刊栏目: 算法研究
• 页码范围: 86-87,96
• 页数: 3页
• 分类号: TP301.6
• 字数: 2055字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2008.01.025

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐凤生	德州学院计算机系	101	583	13.0	19.0
2	李天志	德州学院计算机系	31	216	8.0	13.0