Given a formula and a pair of indices (i,j), resolves the two clauses which contain i & j.
Given a formula and a pair of indices (i,j), resolves the two clauses which contain i & j. The original two clauses are deleted and the new, merged clauses is added to the formula.
The order of the clauses is NOT preserved!
The formula in numbered clause form: each atom is tuple of the atom itself and its index.
The two atom indices indicating the atoms to be resolved.
The original formula, with the two resolved clauses deleted and the new, resolved clause added.