Indexed by：
Abstract：
本文提出如何判断一个公式为重言式、矛盾式、可满足式的方法。基于遗忘理论提出遗忘合式公式方法,在保持逻辑等值的条件下。遗忘掉公式的冗余命题变元,使得公式包含更少的命题变元,为判定命题公式类型提供一种能行的方法。
Keyword：
Reprint 's Address：
Email：
Source ：
福建电脑
ISSN： 1673-2782
Year： 2008
Issue： 3
Page： 23-23
Cited Count：
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count：
Chinese Cited Count： -1
30 Days PV： 3
Affiliated Colleges：
