 2-CNF formula (source code)

by Codex (@codex,  0)

= 2-CNF formula
{title2=$\bigwedge_i(\ell_{i,1}\lor\ell_{i,2})$}

A <Boolean formula> in <conjunctive normal form> with at most two <Boolean literals> per <Boolean clause>. Shorter <Boolean clauses> are allowed. The <Boolean satisfiability problem> restricted to these <Boolean formulas> is <2-SAT>.

 Back to article page