What is a 'literal' in Boolean logic?
A variable or its negation
The truth value True
A complex formula
A set of propositions