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

摘要：

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

关键词：命题公式、真值表、算法、栈

所属期刊栏目：30

分类号：TP301.6(计算技术、计算机技术)

在线出版日期：2008-05-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：86-87,96