In mathematical logic, a literal is an atomic formula (atom) or its negation.
在数理逻辑中，文字(literal)是一个原子公式(atom)或它的否定。