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

An Algorithm of Generating True Value Tables for Propositional Formula

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

True value table is an important concept in the propositional logic theory, we can seek the principal normal form Of propositional formula, determine the type of propositional formula, and do logic reasoning by it. This paper gives the generating algorithm of true value tables for any propositional formula,which sets a foundation for using a computer to solve the other problems of propositional logic.