In mathematical logic, a literal is an atomic formula (atom) or its negation [...] Literals can be divided into two types:
A positive literal is just an atom (e.g., x).
A negative literal is the negation of an atom (e.g., ¬x).
An atom of a Boolean algebra is an element x such that there exist exactly two elements y satisfying y ≤ x, namely x and 0
From the above definitions, can the Boolean values 1 and 0 be considered as positive and negative literals respectively?
If 0 and 1 are not literals, how can they be called?