Definition
Literal (Propositional Logic)
A literal is an atom or the negation of an atom.
- A positive literal is an atom
(positive literal). - A negative literal is the negation
of an atom (negative literal). Every clause and every conjunctive normal form is built from literals.
Examples
Example
and are literals.
Example