Metadata
Author: WikiMatrix
Data
English[en]
In the context of a formula in the conjunctive normal form, a literal is pure if the literal's complement does not appear in the formula.
Spanish[es]
Con respecto a una fórmula expresada según la forma normal conjuntiva, se dice que un literal es puro si no aparece su complementario en esa fórmula.