Ограничения булевых выражений

Группа ограничений, описывающих логические зависимости между булевыми переменными: логические связки, импликации, взаимоисключения и условия выбора из набора альтернатив. Ограничения данной группы применяются при моделировании бинарных решений и условий, определяющих структуру допустимых комбинаций.