Author |
Message |
Lavr
Supreme God
Joined: 21 Oct 2009 08:08 Posts: 7777 Location: Россия
|
И Вас - с Новым Годом!...
_________________ iLavr
|
30 Dec 2020 11:19 |
|
|
TernarySystem
Doomed
Joined: 27 Jul 2018 12:07 Posts: 608
|
Метод минимизации СТДНФ.
|
27 Mar 2021 15:48 |
|
|
Shaos
Admin
Joined: 08 Jan 2003 23:22 Posts: 22571 Location: Silicon Valley
|
|
27 Mar 2021 19:07 |
|
|
TernarySystem
Doomed
Joined: 27 Jul 2018 12:07 Posts: 608
|
Да, посмотрел - интересный подход для определения канонических форм троичной логики. Ключом к построению троичных канонических форм выходит - это правильное построение минтермов и макстермов переменных имеющих три значения (0, 1, 2) или (-1, 0, 1) . В заключение я понял, что единого решения аналитического отображения троичных функций в сравнении с Булевыми функциями не разработано?
|
09 May 2021 12:52 |
|
|
Shaos
Admin
Joined: 08 Jan 2003 23:22 Posts: 22571 Location: Silicon Valley
|
да и в двоичном мире можно 2 разных варианта сделать - в прямой логике и в инверсной
|
09 May 2021 19:21 |
|
|
TernarySystem
Doomed
Joined: 27 Jul 2018 12:07 Posts: 608
|
Это Вы о СДНФ и СКНФ ? Да, но в троичной все намного интересней - если посмотреть приведенную таблицу то минтерм 1 для уровня 1 - это характеристическая функция первого рода L3. Также таблица показывает, что можно использовать характеристические функции второго рода например: L22. Вот я и думаю, что возможно будет и что-то третье?
|
10 May 2021 01:30 |
|
|
Shaos
Admin
Joined: 08 Jan 2003 23:22 Posts: 22571 Location: Silicon Valley
|
СДНФ собирает единички, СКНФ собирает нолики, а в троичном варианте Олег предложил собирать минусы и собирать плюсы, а я потом написал что нули собирать тоже можно - вот 3 варианта и получается
|
10 May 2021 02:27 |
|
|
TernarySystem
Doomed
Joined: 27 Jul 2018 12:07 Posts: 608
|
Ок, ну тогда может приведете пример СДНФ для троичной например конъюнкции? Очень интересно как у Вас будет представлена аналитическая форма. То-есть, как таблицу истинности можно перевести в аналитическое отображение?... Как Вы это делаете при проектировании своих троичных устройств?
|
10 May 2021 03:29 |
|
|
Shaos
Admin
Joined: 08 Jan 2003 23:22 Posts: 22571 Location: Silicon Valley
|
|
10 May 2021 07:40 |
|
|
TernarySystem
Doomed
Joined: 27 Jul 2018 12:07 Posts: 608
|
Это что - дежавю, этот вариант я уже смотрел? Вот см. мой релиз решения: как то так... я хотел посмотреть как Вы ноли собираете - тот самый предложенный Вами третий вариант?
|
10 May 2021 10:01 |
|
|
Shaos
Admin
Joined: 08 Jan 2003 23:22 Posts: 22571 Location: Silicon Valley
|
в первом сообщении топика: *** МaxMin это OR-AND или СКНФ *** MinMax это AND-OR или СДНФ третий вариант я озвучил в самом конце первой страницы топика: http://www.nedopc.org/forum/viewtopic.php?p=1756#p1756
|
10 May 2021 10:56 |
|
|
TernarySystem
Doomed
Joined: 27 Jul 2018 12:07 Posts: 608
|
Здравствуйте, сегодня Вашему вниманию предоставляю графический метод минимизации троичных аналитических выражений, который на мой взгляд позволит существенно облегчить построение троичной схемотехники... За основу я взял известный метод диаграмм Эдварда Вейча, для Булевой алгебры.
|
28 Jul 2021 09:04 |
|
|
TernarySystem
Doomed
Joined: 27 Jul 2018 12:07 Posts: 608
|
Пример минимизации одноместных троичных функций: тождественное Х и первое отрицание Поста с использованием диаграмм отображения троичных функций.
|
29 Jul 2021 07:54 |
|
|
TernarySystem
Doomed
Joined: 27 Jul 2018 12:07 Posts: 608
|
Минимизация методом диаграмм сложной функции max (F1, F2).
|
30 Jul 2021 11:07 |
|
|
TernarySystem
Doomed
Joined: 27 Jul 2018 12:07 Posts: 608
|
Сегодня, еще две одноместные функции: второе отрицание Поста и отрицание Лукасевича.
|
31 Jul 2021 10:50 |
|
|