О сложности реализации булевых функций формуламистатья