Boolean literal ($u\text{ or }\neg u$)

A Boolean literal is a Boolean variable $u$ or its negation $\neg u$. 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.