О сложности реализации функций k-значной логики формулами и квазиформуламитезисы доклада