Неулучшаемость нижних оценок формульной реализации булевых функций вещественными формуламитезисы доклада