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