Boolean variable
= Boolean variable
{c}
{title2=$u\in\{0,1\}$}
A <Boolean variable> takes one of two <truth values>, false or true, encoded as zero or one. It is an input to a <Boolean formula>; a <Boolean literal> uses the <Boolean variable> either positively or with <logical negation>. A <Boolean valuation> assigns one <truth value> to each distinct <Boolean variable>, so three distinct <Boolean variables> give eight possible complete assignments regardless of how often each appears.