In mathematical logic, a literal is an atomic formula or its negation. The definition mostly appears in proof theory, e.g. in conjunctive normal form and the method of resolution. Literals can be divided into two types: A positive literal is just... Wikipedia