Definition Pure Literal A literal in a set of clauses is called pure if contains no clauses of the form . Examples Example The following literals are pure in this set: The literal is pure in this set. We can remove all clauses containing this literal and record : Now, the literal is pure in this set. We can remove all clauses containing this literal and record . We obtain the empty set of clauses, yielding two models: