The simplification step essentially removes all clauses that become true under the assignment from the formula, and all literals that become false from the remaining clauses.
Корак поједностављивања у суштини брише све клаузе које су постале тачне по додели из формуле, и сви литерали који су постали нетачни из преосталих клауза.