О сложности проверяющих тестов для логических устройствдиссертация