Система предлагает вектор булевой функции, пользователь определяет предполные классы