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

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

单位：德州学院计算机系 山东德州253023