3.7.36. 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 .