Украинская TernarySystem

[Lavr]

И Вас - с Новым Годом!...

[TernarySystem]

Метод минимизации СТДНФ.

[Shaos]

см. viewtopic.php?f=79&t=140 и viewtopic.php?f=79&t=169

[TernarySystem]

см. viewtopic.php?f=79&t=140

Да, посмотрел - интересный подход для определения канонических форм троичной логики. Ключом к построению троичных канонических форм выходит - это правильное построение минтермов и макстермов переменных имеющих три значения (0, 1, 2) или (-1, 0, 1) . В заключение я понял, что единого решения аналитического отображения троичных функций в сравнении с Булевыми функциями не разработано?

[Shaos]

да и в двоичном мире можно 2 разных варианта сделать - в прямой логике и в инверсной

[TernarySystem]

да и в двоичном мире можно 2 разных варианта сделать - в прямой логике и в инверсной

Это Вы о СДНФ и СКНФ ? Да, но в троичной все намного интересней - если посмотреть приведенную таблицу то минтерм 1 для уровня 1 - это характеристическая функция первого рода L3. Также таблица показывает, что можно использовать характеристические функции второго рода например: L22. Вот я и думаю, что возможно будет и что-то третье?

[Shaos]

да и в двоичном мире можно 2 разных варианта сделать - в прямой логике и в инверсной

Это Вы о СДНФ и СКНФ ? Да, но в троичной все намного интересней - если посмотреть приведенную таблицу то минтерм 1 для уровня 1 - это характеристическая функция первого рода L3. Также таблица показывает, что можно использовать характеристические функции второго рода например: L22. Вот я и думаю, что возможно будет и что-то третье?

СДНФ собирает единички, СКНФ собирает нолики, а в троичном варианте Олег предложил собирать минусы и собирать плюсы, а я потом написал что нули собирать тоже можно - вот 3 варианта и получается

[TernarySystem]

СДНФ собирает единички, СКНФ собирает нолики, а в троичном варианте Олег предложил собирать минусы и собирать плюсы, а я потом написал что нули собирать тоже можно - вот 3 варианта и получается

Ок, ну тогда может приведете пример СДНФ для троичной например конъюнкции? Очень интересно как у Вас будет представлена аналитическая форма. То-есть, как таблицу истинности можно перевести в аналитическое отображение?... Как Вы это делаете при проектировании своих троичных устройств?

[Shaos]

см. viewtopic.php?f=79&t=140

[TernarySystem]

см. viewtopic.php?f=79&t=140

Это что - дежавю, этот вариант я уже смотрел? Вот см. мой релиз решения: как то так... я хотел посмотреть как Вы ноли собираете - тот самый предложенный Вами третий вариант?

[Shaos]

в первом сообщении топика:

*** МaxMin это OR-AND или СКНФ

*** MinMax это AND-OR или СДНФ

третий вариант я озвучил в самом конце первой страницы топика:

http://www.nedopc.org/forum/viewtopic.php?p=1756#p1756

[TernarySystem]

Здравствуйте, сегодня Вашему вниманию предоставляю графический метод минимизации троичных
аналитических выражений, который на мой взгляд позволит существенно облегчить построение троичной схемотехники... За основу я взял известный метод диаграмм Эдварда Вейча, для Булевой алгебры.

[TernarySystem]

Пример минимизации одноместных троичных функций: тождественное Х и первое отрицание Поста с использованием диаграмм отображения троичных функций.

[TernarySystem]

Минимизация методом диаграмм сложной функции max (F1, F2).

[TernarySystem]

Сегодня, еще две одноместные функции: второе отрицание Поста и отрицание Лукасевича.