Частным случаем задач с целочисленными переменными являются задачи, в результате решения которых искомые переменные xj могут принимать только одно из двух значений: 0 или 1. Такие переменные в честь предложившего их английского математика Джорджа Буля называют булевыми.
Помимо задания требования целочисленности (см. подразд. 1.3) при вводе условия задач с булевыми переменными необходимо:
• для наглядности восприятия ввести в экранную форму слово "булевы" в качестве характеристики переменных;
• в окне "Поиск решения" добавить граничные условия, имеющие смысл ограничения значений переменных по их единичной верхней границе (рис. 1.19).
Рисунок 1.19. Добавление условия единичной верхней границы значений
переменных некоторой задачи с булевыми переменными