New boolean operation of vector
Constraint for linear programming