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