Boolean variable (source code)

= Boolean variable
{c}
{title2=$u\in\{0,1\}$}

A Boolean variable takes one of two truth values. It is an input to a <Boolean formula>; a <Boolean literal> uses the variable either positively or negated.