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