БИЕКТИВНО КООРДИНАТНО-ЗАПРЕТНЫЕ k-ЗНАЧНЫЕ ФУНКЦИИ В ЗАДАЧАХ СИНТЕЗА ПОДСТАНОВОЧНЫХ ПРЕОБРАЗОВАНИЙ Никонов Владимир Глебович, доктор технических наук, член Президиума РАЕН Чуров Дмитрий Валерьевич, сотрудник ФГУП «НИИ «КВАНТ». <...> E-mail: cdv1994@yandex.ru Аннотация: Внимание к изучению преобразований в k-значной логике в значительной степени стимулируется развитием современной компьютерной техники, в частности, повышением скоростей обработки информации и увеличением её объёмов. <...> Переход от булевых операций к k-значным не сводится лишь к количественному росту сложностных характеристик, но затрагивает внутренние логические основы реализации и функционирования схем. <...> В данной статье внимание будет сосредоточено на исследовании одной частной проблемы k-значной логики в её локальной постановке, а именно, проблемы расширительной трактовки операции логического отрицания, которая, несмотря на простоту её исходной постановки, привела к построению теории функций с запретными знаками подфункций. <...> Интерес представляют также оригинальные практические приложения этой теории, связанные с изучением ряда типовых узлов переработки информации с применением функций изучаемого класса. <...> Ключевые слова: биективные отображения, k-значные функции с запретными знаками подфункций. <...> BIJECTIVE COORDINATE-FORBIDDEN k-VALUED FUNCTIONS IN A PROBLEM OF SYNTHESIS OF SUBSTITUTIONS Nikonov Vladimir Glebovich, Doctor of Technical Sciences, a member of the Presidium of Russian Academy of Natural Sciences Churov Dmitry Valeryevich, employee of Federal State Unitary Enterprise Scientific Research Institute KVANT Abstract: The interest towards the study of transformations in a k-valued logic is driven to a great extent by the development of modern computer technology, particularly by the increase in the amount of information and the increasing speed of information processing. <...> The transition from Boolean operations to k-valued operations is not limited to a quantitative increase in complexity, as it also affects the internal logical framework of the schemes' implementation and functioning. <...> This article will focus on <...>