Об одной конструкции обратимых векторных булевых функций

Рассматривается конструкция векторной булевой функции, координаты которой получаются из одной булевой функции с помощью циклического сдвига вектора переменных. Предложен алгоритм построения такой функции, обладающей свойством обратимости; доказаны его полнота и корректность; посчитано количество доставляемых им функций, а также количество обратимых функций в обобщённой конструкции  — когда к вектору переменных применяется произвольная полноцикловая перестановка.