En lógica matemática, un literal es una fórmula atómica , sin 0 y 1, o su negación lógica . En consecuencia, se distinguen dos tipos de literales:
En lógica proposicional, un literal es una variable lógica o su negación lógica . En consecuencia, un literal positivo se llama la variable en sí, y un literal negativo es la negación lógica de la variable .