实现化为子句集的三个重要步骤