福建电脑
福建電腦
복건전뇌
FUJIAN COMPUTER
2008年
3期
23
,共1页
重言式%矛盾式%可满足式%遗忘理论
重言式%矛盾式%可滿足式%遺忘理論
중언식%모순식%가만족식%유망이론
本文提出如何判断一个公式为重言式、矛盾式、可满足式的方法.基于遗忘理论提出遗忘合式公式方法,在保持逻辑等值的条件下,遗忘掉公式的冗余命题变元,使得公式包含更少的命题变元,为判定命题公式类型提供一种能行的方法.
本文提齣如何判斷一箇公式為重言式、矛盾式、可滿足式的方法.基于遺忘理論提齣遺忘閤式公式方法,在保持邏輯等值的條件下,遺忘掉公式的冗餘命題變元,使得公式包含更少的命題變元,為判定命題公式類型提供一種能行的方法.
본문제출여하판단일개공식위중언식、모순식、가만족식적방법.기우유망이론제출유망합식공식방법,재보지라집등치적조건하,유망도공식적용여명제변원,사득공식포함경소적명제변원,위판정명제공식류형제공일충능행적방법.