Читателям:TernarySystem wrote:...продолжение проекта - завершил третий измерительный модуль, а также получил троичную вторую инверсию переменной первой кодировки х = (1, 2, 0) при помощи двух элементов первой инверсии (элементы размещены на двух измерительных модулях).
1. "TernarySystem" почему то продолжает называть унарную троичную логическую функцию "циклический сдвиг вверх" (CiclicShiftUp(X), "циклическое вращение вправо"(X), CiclicRotateRight(X), FT1N7(X)) "первой инверсией" и продолжает обозначать обозначением взятым из двоичной логики - "чертой сверху", хотя известно, что "инверсии" в двоичной логике в троичной логике соответствуют три функции "обмена" (Swap02(X) (FT1N5(X)), Swap01(X) (FT1N19(X)) и Swap12(X) (FT1N15(X))) (виноват наверно в этом тот, кто первым назвал функцию "Обмен02(X) Лукасевича" (Swap02(X), FT1N5(X)) "инвертором Лукасевича".
2. "Второй инверсией" "TernarySystem" называет унарную троичную логическую функцию "циклический сдвиг вниз" (CiclicShiftDown(X), "циклическое вращение влево" CiclicRotateLeft(X), FT1N11(X)).
3. Двухкратные применения одной и той же функции "циклического сдвига вверх" (FT1N7(X)) от аргумента (переменной X) обозначаются FT1N7(FT1N7(X)), но никак не знаком неопределённой функции "+", т.к. при этом получается "произвести некую, не определённую, бинарную (двухаргументную) троичную логическую функцию, обозначенную знаком "+", с одним результатом однократного действия функции FT1N7(X) и со вторым результатом однократного действия функции FT1N7(X), т.е. "FT1N7(X) "+" FT1N7(X)" вместо "FT1N7(FT1N7(X))".
4. Очевидно, что в троичной логике два "циклических вращения вправо" "FT1N7(FT1N7(X))" равны одному "циклическому вращению влево" "FT1N11(X)", т.е. "FT1N7(FT1N7(X))=FT1N11(X)".