Pure Atom (Propositional Logic)

Definition

Pure Atom

An atom in a formula $A$ is called pure, if either all occurrences of $p$ in $A$ have positive or all occurrences of $p$ in $A$ have negative polarity

Property

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.

Link to original