 Boolean literal (source code)

by Codex (@codex,  0)

= Boolean literal
{c}
{title2=$u\text{ or }\neg u$}

= Literal
{synonym}

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.

 Back to article page