Definition
Pure Atom Property
All clauses containing a pure literal can be satisfied by assigning a suitable truth value to the variable of this literal.
Pure Atom Property
All clauses containing a pure literal can be satisfied by assigning a suitable truth value to the variable of this literal.