3.7.34. Boolean constraint

A Boolean constraint is a constraint of the form v=f(v 1 ,...,v n ) (n2) where v,v 1 ,...,v n are 0 -1 variables and where f(v 1 ,...,v n ) is a logical expression involving connectors, such as ¬, , or .