Уточненные оценки немонотонной сложности функций многозначной логикитезисы доклада