Нормализация выводов для некоторых многозначных логикдоклад на конференции