命题公式类型的判定方法

摘要

主要研究如何利用真值表、等值演算,主析取范式和主合取范式、真值树来判定命题公式的类型,并对这四种判定方法的优缺点和适用范围作了探讨。