Украинская TernarySystem

[Lavr]

Инверсия - это переворот. Сдвигами инверсии никак не получатся.

Что-то вы сами себе противоречите. Инверсии вполне реализуются сдвигами.

Значит доказательно опровергаю г-на AndrejKulikov-а, хотя всё уже давно доказано на
страницах этого форума: viewtopic.php?f=79&t=17794#p138324
Просто некоторые товарищи слишком увлекаются детскими картинками и кружками...

Троичная инверсия у нас реализует следующее:


Троичная правая циклическая инверсия (к примеру), которую также называют "троичным инкрементом"
работает согласно таблице:


Из таблицы видно, что при одной операции циклической инверсии 1 -> -1 мы фактически получаем результат обычной инверсии.

Из таблицы видно, что "0" не остался "0", как это должно было бы быть при инверсии Лукасевича, т.е. "доказательство" - ложное, а "доказатель" - лжец и клеветник.

Таблица охватывает ВСЕ возможные состояния логического элемента.

Я обратил внимание на одно состояние: 1 -> -1 - оно показывает, что правая циклическая инверсия
может выполнить действие эквивалентное обычной инверсии.
Читаем оппонета:

Сдвигами инверсии никак не получатся.

Я показал, что для состояния 1 -> -1 получится.

Я не говорил что троичная инверсия эквивалентна троичному циклическому отрицанию.
Но получить результат инверсии троичным циклическим отрицанием можно.

[AndrejKulikov]

Из таблицы видно, что "0" не остался "0"...

вот и я об этом же - это отрицательный ноль.

Система с положительным и отрицательным нулём уже не трёхзначная (троичная), а четырёхзначная (четверичная).

[AndrejKulikov]

Инверсия - это переворот. Сдвигами инверсии никак не получатся.

Что-то вы сами себе противоречите. Инверсии вполне реализуются сдвигами.

Значит доказательно опровергаю г-на AndrejKulikov-а, хотя всё уже давно доказано на
страницах этого форума: viewtopic.php?f=79&t=17794#p138324
Просто некоторые товарищи слишком увлекаются детскими картинками и кружками...

Троичная инверсия у нас реализует следующее:


Троичная правая циклическая инверсия (к примеру), которую также называют "троичным инкрементом"
работает согласно таблице:


Из таблицы видно, что при одной операции циклической инверсии 1 -> -1 мы фактически получаем результат обычной инверсии.

Из таблицы видно, что "0" не остался "0", как это должно было бы быть при инверсии Лукасевича, т.е. "доказательство" - ложное, а "доказатель" - лжец и клеветник.

Таблица охватывает ВСЕ возможные состояния логического элемента.

Я обратил внимание на одно состояние: 1 -> -1 - оно показывает, что правая циклическая инверсия
может выполнить действие эквивалентное обычной инверсии.
Читаем оппонета:

Сдвигами инверсии никак не получатся.

Я показал, что для состояния 1 -> -1 получится.

Я не говорил что троичная инверсия эквивалентна троичному циклическому отрицанию.
Но получить результат инверсии троичным циклическим отрицанием можно.

Результатом действия унарной троичной функции является положение всех трёх знаков, а не только одного, так что "доказательство" - ложное, а "доказатель" к титулам лжец и клеветник получает ещё и титулы злостный рецидивист и мошенник.

[Lavr]

Результатом действия унарной троичной функции является положение всех трёх знаков, а не только одного, так что "доказательство" - ложное, а "доказатель" к титулам лжец и клеветник получает ещё и титулы злостный рецидивист и мошенник.

Это совсем другое утверждение.
Я оспаривал вот это ваше утверждение:

Инверсия - это переворот. Сдвигами инверсии никак не получатся.

Я показал, что результат троичной инверсии можно получить циклическим отрицанием.
Варианты следующие: либо вы соглашаетесь, что ваше утверждение несколько некорректно, либо доказываете аргументированно его правоту.

Если вы предпочитаете вместо доказательств жонглировать словами, то это соответствует в вашей терминологии титулу демагог.

[Клапауций]

"доказатель" к титулам лжец и клеветник получает ещё и титулы злостный рецидивист и мошенник.

а, я шо говорю?
передать еретика в добрые руки инквизиторов Церкви Святаго Электричества!

[AndrejKulikov]

Я показал, что результат троичной инверсии можно получить циклическим отрицанием.

Результатом действия унарной троичной функции является положение всех трёх её знаков.

Положение всех трёх знаков в результате действия инверсии Лукасевича отличается от положения всех трёх знаков в результате действия вращения на один шаг вправо (RotateRight, RotR, FT1N7), так что "доказательство" - ложное, а "доказатель" в своей злобе дополняет свои грехи.

[Lavr]

Я оспаривал вот это ваше утверждение:

Инверсия - это переворот. Сдвигами инверсии никак не получатся.

Я показал, что результат троичной инверсии можно получить циклическим отрицанием.

И остальные результаты троичной инверсии также легко получить сдвигами.
Инверсия: -1 -> 1. Получаем этот же результат циклическим отрицанием: -1 -> 0, 0 -> 1 - в два сдвига.
Инверсия: 0 -> 0. Получаем этот же результат циклическим отрицанием: 0 -> 1, 1 -> -1, -1 -> 0 - в три сдвига.
Так что утверждение

Сдвигами инверсии никак не получатся.

некорректно.
Сдвигами или циклическим отрицанием получить всю таблицу истинности инверсии вполне получается.

[AndrejKulikov]

Я оспаривал вот это ваше утверждение:

Инверсия - это переворот. Сдвигами инверсии никак не получатся.

Я показал, что результат троичной инверсии можно получить циклическим отрицанием.

И остальные результаты троичной инверсии также легко получить сдвигами.
Инверсия: -1 -> 1. Получаем этот же результат циклическим отрицанием: -1 -> 0, 0 -> 1 - в два сдвига.
Инверсия: 0 -> 0. Получаем этот же результат циклическим отрицанием: 0 -> 1, 1 -> -1, -1 -> 0 - в три сдвига.
Так что утверждение

Сдвигами инверсии никак не получатся.

некорректно.
Сдвигами или циклическим отрицанием получить всю таблицу истинности инверсии вполне получается.

Результатом действия унарной троичной функции является положение всех трёх её знаков.
Мошенничеством же "доказателя" является подмена положения всех трёх знаков результата только одним знаком.

Для отличения сдвигов от инверсий (переворотов) в троичной системе нужно равноотстояще нанести три любых разных значка на кружок из бумаги с обеих сторон. Что получится при вращении бумажного кружка на один шаг вправо или влево - то есть сдвиги на один шаг, а что получится при перевороте кружка с сохранением места одной из трёх вершин треугольника - то есть инверсии (перевороты), которых в троичной системе, как и количество вершин в треугольнике, - три (инверсия Лукасевича и ещё две).
Нужно так же отметить, что три значка могут быть любыми (Red, Green, Blue), (A,B,C), (X,Y,Z), (0,1,2), (-1,0,+1), но кружок будет выполнять нужную троичную унарную функцию с любыми значками и независимо от значков.

Вращая кружок из бумаги с тремя знаками, читатель может легко убедиться, что ни двумя ни тремя ни бОльшим числом циклических сдвигов (вращений на 1шаг, поворотов на 1 шаг) влево или вправо результата инверсий (переворота кружка) не получится.
"Доказатель" же ослеп в своей злобе и не видит этого, чем ещё больше увеличивает число своих грехов.

[TernarySystem]

функции инверсии

[TernarySystem]

Функции циклического отрицания

[Lavr]

Андрюша, я должен констатировать, что в троичной логике вы совершенно безграмотны.
Чтобы что-то аргументировано доказывать, необходимо знать некоторые основополагающие вещи.

Так в двоичной логике система базовых функций будет полной, если в ней есть один элемент И (ИЛИ) и инверсия.
То есть, любую функцию двоичной логики можно реализовать на элементах И (ИЛИ) и инверсии.

Но чтобы троичная система базовых функций была полной необходимы MIN (или MAX) и одно из циклических отрицаний.
То есть, циклическим отрицанием мы можем реализовать троичное отрицание.
А вот обратное - совершенно несправедливо.

Поэтому ваше высказывание:

Сдвигами инверсии никак не получатся.

всего лишь демонстрирует вашу полную безграмотность, что бы вы там не цитировали.

Сходите что ли почитайте основы троичной логики: http://trilog.narod.ru/4.htm - доходчиво изложены.
А вот грубя оппоненту, вы всего лишь расписываетесь в своей полной беспомощности...
Не позорьтесь так.

[AndrejKulikov]

функции инверсии

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

Википедия. Троичные функции. Унарные троичные логические функции с унарным выходом.
Таблица 3.
...
FT1N5, обмен 0 и 2, обмен двух младших значений при кодировании (-1,0,+1)=(2,0,1), обмен двух крайних значений ("инверсия Лукасевича") при кодировании (-1,0,+1)=(0,1,2), FT1N5(X)= Swap02(X)
...
FT1N15, обмен 1 и 2, обмен двух крайних значений ("инверсия Лукасевича") при кодировании (-1,0,+1)=(2,0,1), обмен двух старших значений при кодировании (-1,0,+1)=(0,1,2), F1TN15(X) = Swap12(X)
...
FT1N19, обмен 0 и 1, обмен двух старших значений при кодировании (-1,0,+1)=(2,0,1), обмен двух младших значений при кодировании (-1,0,+1)=(0,1,2), FT1N19(X) = Swap01(X)
...

[Shaos]

Поэтому лучше воспользоваться обозначениями из статьи в Википедии "Троичные функции".

Википедия. Троичные функции. Унарные троичные логические функции с унарным выходом.

Дык вы сами это всё и выдумали и туда вписали
Ваш IP-адрес торчит почти из всех правок за последние несколько лет

[TernarySystem]

функции инверсии

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

Википедия. Троичные функции. Унарные троичные логические функции с унарным выходом.
Таблица 3.
...
FT1N5, обмен 0 и 2, обмен двух младших значений при кодировании (-1,0,+1)=(2,0,1), обмен двух крайних значений ("инверсия Лукасевича") при кодировании (-1,0,+1)=(0,1,2), FT1N5(X)= Swap02(X)
...
FT1N15, обмен 1 и 2, обмен двух крайних значений ("инверсия Лукасевича") при кодировании (-1,0,+1)=(2,0,1), обмен двух старших значений при кодировании (-1,0,+1)=(0,1,2), F1TN15(X) = Swap12(X)
...
FT1N19, обмен 0 и 1, обмен двух старших значений при кодировании (-1,0,+1)=(2,0,1), обмен двух младших значений при кодировании (-1,0,+1)=(0,1,2), FT1N19(X) = Swap01(X)
...

... согласен, Вы правы и не только в логике а и в схемотехнике тоже?

[TernarySystem]

Поэтому лучше воспользоваться обозначениями из статьи в Википедии "Троичные функции".

Википедия. Троичные функции. Унарные троичные логические функции с унарным выходом.

Дык вы сами это всё и выдумали и туда вписали
Ваш IP-адрес торчит почти из всех правок за последние несколько лет

...а где же истина? где можно получить инфу об этом вопросе, сам столкнулся с проблемой схематического обьяснения для троичной системы....