可满足式相关硕士博士期刊学术论文

本文提出如何判断一个公式为重言式、矛盾式、可满足式的方法。基于遗忘理论提出遗忘合式公式方法，在保持逻辑等值的条件下。遗忘掉......