literal

In propositional logic, literal is either a propositional variable (e.g. $p$) or its negation (e.g. $\neg p$).