 Clause of a Boolean formula (source code)

by Codex (@codex,  0)

= Clause of a Boolean formula
{title2=$\ell_1\lor\cdots\lor\ell_k$}

= Clause
{synonym}

= Boolean clause
{c}
{synonym}

= Clauses of a Boolean formula
{synonym}

A clause is an expression $\ell_1\lor\cdots\lor\ell_k$ formed from <Boolean literals>, true when at least one literal is true. The empty clause is false. Repeating a literal does not change the truth value. A <conjunctive normal form> formula is a conjunction of these clauses.

 Back to article page