Биективно координатно-запретные k-значные функции в задачах синтеза подстановочных преобразований

Внимание к изучению преобразований в k-значной логике в значительной степени стимулируется развитием современной компьютерной техники, в частности, повышением скоростей обработки информации и увеличением её объёмов. Переход от булевых операций к k-значным не сводится лишь к количественному росту сложностных характеристик, но затрагивает внутренние логические основы реализации и функционирования схем.
В данной статье внимание будет сосредоточено на исследовании одной частной проблемы k-значной логики в её локальной постановке, а именно, проблемы расширительной трактовки операции логического отрицания, которая, несмотря на простоту её исходной постановки, привела к построению теории функций с запретными знаками подфункций. Интерес представляют также оригинальные практические приложения этой теории, связанные с изучением ряда типовых узлов переработки информации с применением функций изучаемого класса.