literal

in logic, atomic formula (atom) or its negation

Categories: