摘要
主要研究如何利用真值表、等值演算,主析取范式和主合取范式、真值树来判定命题公式的类型,并对这四种判定方法的优缺点和适用范围作了探讨。
The paper mainly researches into the decision methods of the kinds of propositional formulas with truth table,equivalent calculus,major disjunctive form and major conjunctive form,and truth tree.The paper also discusses the advantages,shortcomings and the applicable scope of the four kind methods.
出处
《廊坊师范学院学报（自然科学版）》
2010年第6期7-10,共4页
Journal of Langfang Normal University(Natural Science Edition)
关键词
命题逻辑
真值赋值
层次
二叉树
化归
propositional logic
truth valuation
level
binary tree
reduced
