A Boolean literal is a Boolean variable or its negation . The two literals have opposite truth values. A Boolean clause combines literals, and a Boolean-pair colouring gadget represents a variable and its negation by two vertices with opposite Boolean colours.
New to topics? Read the docs here!