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