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