nedoPC.org

Electronics hobbyists community established in 2002
Atom Feed | View unanswered posts | View active topics It is currently 28 Mar 2024 17:26



Reply to topic  [ 851 posts ]  Go to page Previous  1 ... 11, 12, 13, 14, 15, 16, 17 ... 57  Next
Украинская TernarySystem 
Author Message
Supreme God
User avatar

Joined: 21 Oct 2009 08:08
Posts: 7777
Location: Россия
Reply with quote
AndrejKulikov wrote:
Lavr wrote:
Lavr wrote:
AndrejKulikov wrote:
Инверсия - это переворот. Сдвигами инверсии никак не получатся.

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

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

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

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

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

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

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

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

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

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

_________________
iLavr


21 Aug 2018 06:19
Profile
Banned

Joined: 07 Mar 2018 23:17
Posts: 315
Location: Россия, Москва
Reply with quote
Клапауций wrote:
AndrejKulikov wrote:
Из таблицы видно, что "0" не остался "0"...

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

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


21 Aug 2018 06:33
Profile
Banned

Joined: 07 Mar 2018 23:17
Posts: 315
Location: Россия, Москва
Reply with quote
Lavr wrote:
AndrejKulikov wrote:
Lavr wrote:
Lavr wrote:
AndrejKulikov wrote:
Инверсия - это переворот. Сдвигами инверсии никак не получатся.

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

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

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

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

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

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

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

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

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

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

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


21 Aug 2018 06:48
Profile
Supreme God
User avatar

Joined: 21 Oct 2009 08:08
Posts: 7777
Location: Россия
Reply with quote
AndrejKulikov wrote:
Результатом действия унарной троичной функции является положение всех трёх знаков, а не только одного, так что "доказательство" - ложное, а "доказатель" к титулам лжец и клеветник получает ещё и титулы злостный рецидивист и мошенник.

Это совсем другое утверждение.
Я оспаривал вот это ваше утверждение:
AndrejKulikov wrote:
Инверсия - это переворот. Сдвигами инверсии никак не получатся.

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

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

_________________
iLavr


21 Aug 2018 06:57
Profile
Banned
User avatar

Joined: 29 Jun 2018 08:48
Posts: 413
Reply with quote
AndrejKulikov wrote:
"доказатель" к титулам лжец и клеветник получает ещё и титулы злостный рецидивист и мошенник.

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


21 Aug 2018 07:00
Profile
Banned

Joined: 07 Mar 2018 23:17
Posts: 315
Location: Россия, Москва
Reply with quote
Lavr wrote:
Я показал, что результат троичной инверсии можно получить циклическим отрицанием.

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

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


21 Aug 2018 07:15
Profile
Supreme God
User avatar

Joined: 21 Oct 2009 08:08
Posts: 7777
Location: Россия
Reply with quote
Lavr wrote:
Я оспаривал вот это ваше утверждение:
AndrejKulikov wrote:
Инверсия - это переворот. Сдвигами инверсии никак не получатся.

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

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

_________________
iLavr


21 Aug 2018 07:20
Profile
Banned

Joined: 07 Mar 2018 23:17
Posts: 315
Location: Россия, Москва
Reply with quote
Lavr wrote:
Lavr wrote:
Я оспаривал вот это ваше утверждение:
AndrejKulikov wrote:
Инверсия - это переворот. Сдвигами инверсии никак не получатся.

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

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

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

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


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


21 Aug 2018 07:45
Profile
Doomed
User avatar

Joined: 27 Jul 2018 12:07
Posts: 608
Reply with quote
функции инверсии


Attachments:
функция инверсии.jpg
функция инверсии.jpg [ 120.59 KiB | Viewed 4079 times ]
21 Aug 2018 07:56
Profile
Doomed
User avatar

Joined: 27 Jul 2018 12:07
Posts: 608
Reply with quote
Функции циклического отрицания


Attachments:
функция циклического отрицания.jpg
функция циклического отрицания.jpg [ 129.74 KiB | Viewed 4072 times ]
21 Aug 2018 08:06
Profile
Supreme God
User avatar

Joined: 21 Oct 2009 08:08
Posts: 7777
Location: Россия
Reply with quote
Андрюша, я должен констатировать, что в троичной логике вы совершенно безграмотны. :osad:
Чтобы что-то аргументировано доказывать, необходимо знать некоторые основополагающие вещи.

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

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

Поэтому ваше высказывание:
AndrejKulikov wrote:
Сдвигами инверсии никак не получатся.
всего лишь демонстрирует вашу полную безграмотность, что бы вы там не цитировали. :osad:

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

_________________
iLavr


21 Aug 2018 08:10
Profile
Banned

Joined: 07 Mar 2018 23:17
Posts: 315
Location: Россия, Москва
Reply with quote
TernarySystem wrote:
функции инверсии

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

Википедия. Троичные функции. Унарные троичные логические функции с унарным выходом.
Таблица 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)
...


21 Aug 2018 08:23
Profile
Admin
User avatar

Joined: 08 Jan 2003 23:22
Posts: 22412
Location: Silicon Valley
Reply with quote
AndrejKulikov wrote:
Поэтому лучше воспользоваться обозначениями из статьи в Википедии "Троичные функции".

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

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


Attachments:
wiki3.png
wiki3.png [ 186.39 KiB | Viewed 4218 times ]

_________________
:dj: https://mastodon.social/@Shaos
21 Aug 2018 08:30
Profile WWW
Doomed
User avatar

Joined: 27 Jul 2018 12:07
Posts: 608
Reply with quote
AndrejKulikov wrote:
TernarySystem wrote:
функции инверсии

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

Википедия. Троичные функции. Унарные троичные логические функции с унарным выходом.
Таблица 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)
...


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


21 Aug 2018 08:31
Profile
Doomed
User avatar

Joined: 27 Jul 2018 12:07
Posts: 608
Reply with quote
Shaos wrote:
AndrejKulikov wrote:
Поэтому лучше воспользоваться обозначениями из статьи в Википедии "Троичные функции".

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

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


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


21 Aug 2018 08:36
Profile
Display posts from previous:  Sort by  
Reply to topic   [ 851 posts ]  Go to page Previous  1 ... 11, 12, 13, 14, 15, 16, 17 ... 57  Next

Who is online

Users browsing this forum: No registered users and 17 guests


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

Search for:
Jump to:  
Powered by phpBB® Forum Software © phpBB Group
Designed by ST Software.