1. 建立待归结命题公式 　　首先根据反证法将所求证的问题转化成为命题公式，求证其是矛盾式（永假式）。 　　2 求取合取范式 　　3 建立子句集 　　4 归结 　　归结法是在子句集S的基础上通过归结推理规则得到的，归结过程的最基本单元是得到归结式的过程。从子句集S出发，对S的子句间使用归结推理规则，并将所得归结式仍放入到S中（注意：此过程使得子句集不断扩大，是造成计算爆炸的根本原因），进而再对新子句集使用归结推理规则。重复使用这些规则直到得到空子句。这便说明S是不可满足的，从而与S所对应的定理是成立的。 　　归结步骤： 　　1)对子句集中的子句使用归结规则 　　2) 归结式作为新子句加入子句集参加归结 　　3) 归结式为空子句□ 为止。 　　（证明完毕） 　　得到空子句□，表示S是不可满足的（矛盾），故原命题成立。