En lógica matemática , un literal es un átomo (también llamado literal positivo ) o la negación de un átomo (también llamado literal negativo ).
En lógica proposicional , una variable P es literal, al igual que su negación ¬ P ; la forma normal disyuntiva son disyunciones de conjunciones de literales, y los únicos literales, disyunciones y conjunciones de literales, y disyunciones y conjunciones de literales.
Un literal unitario (resp. Puro o monótono ) es un literal que aparece en una cláusula unaria (resp. Un literal cuyo literal opuesto no aparece en la fórmula).