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

Abstract:

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 fo rmula,which sets a foundation for using a computer to solve the other problems of propositional logic.

Key words: propositional formula, true value table, algorithm, stack