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