A literal is a propositional symbol or the negation of a propositional symbol.
For example, or meanwhile or are not since literals may have at most one logical connective and it must be a negation.
A literal is a propositional symbol or the negation of a propositional symbol.
For example, or meanwhile or are not since literals may have at most one logical connective and it must be a negation.