Схемотехника. Минимизация логических функций

[Ag47]

ru.wikipedia.org/wiki/%D0%9A%D0%B0%D1%80%D1%82%D0%B0_%D0%9A%D0%B0%D1%80%D0%BD%D0%BE?

[KbRadar]

Именно. Лучший вариант изложения. Надеюсь, что топик на хабре, привлечет внимание как можно большего числа людей.

[Zhenek]

ну ты шутишь? где это видано, чтобы тролям разрешали картинки постить? Обнули карму и юзай хтмл теги

[KbRadar]

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

[Ag47]

Ну в общем, то всё это было в универе…

Хотя, вохможно, это интересно:

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

Можно про это подробнее? Есть, конечно, ощущение, что это просто сравнение этого
ru.wikipedia.org/wiki/%D0%A4%D0%B0%D0%B9%D0%BB:Logic_Nikolay.PNG
(внимание: парсер бьёт ссылку на двоеточии)
и этого
upload.wikimedia.org/wikipedia/commons/thumb/2/2f/%7Elogic_Nikolay.PNG/200px-%7Elogic_Nikolay.PNG
но всё же.

[KbRadar]

В случае реализации схемы на базиах и-не или-не, следует выбирать верный метод минимизации. А на схемах в ссылках представлена реализация ДНФ и КНФ функции.

[d0b]

Да, был у нас такой предмет на первом курсе. Прикладная Теория Цифровых Автоматов (все его просто называли ПТиЦА:))
Вот только помниться там еще методы были, такие как метод Квайна, Квайна-Мак Класки, неопределенных коэффициентов…
Наверное один из самых толковых предметов, хотя казался невероятно сложным :)

[KbRadar]

В учебных целях это следует уметь делать самостоятельно.

[mChief]

А еще неплохо в учебных целях самому написать такую программу

[gribozavr]

apt-get install qmc

[SKaDi]

В Electronic Workbench (старом и в Multisim новом) есть Logic Converter. Все в нем есть — таблица истинности в формулу или сразу в схему и наоборот. Это когда в учебных целях некогда или уже умеешь.

[DemonShi]

Заманчивые у Вас картинки, а внутри скукота, которую преподают в универах :)

[Xab]

сначала теория, потом практика. думаю автор этих топиков постепенно именно к этому и подходит.

[DemonShi]

Да, я понимаю, что это важные и нужные знания, но для человека, знакомящегося со схемотехникой это скукота.

[Xab]

Да, это тоже довольно естественно, но всегда (в успешном исходе) наступает просветление и пробегает мысль: «о, вот именно это мне и втирали на лекциях, а я думал, что муть, и вовсе не пригодится».

[KbRadar]

Пишите конечно, интересующиеся всегда найдутся.

[Arceny]

Ой, это же моя РГР :-) ТОлько красиво нарисованая…

[vittore]

минимизацию делают до того как на плис реализовывать ваще то

[Shemet]

>Карты Карно были изобретены в 1952 Эдвардом В. Вейчем и усовершенствованы в 1953 Морисом Карно.

Не мог Вейч изобрести карты Карно. )
Он изобрел «диаграммы Вейча», которые кстати намного удобнее для человека, чем карты Карно, при небольшом количестве переменных.

[XBR]

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

[ooprizrakoo]

Двенадцать лет назад «проходил» Карты Карно, функции алгебры логики, и т.п. Тогда это казалось ненужной ерундой, которую использовали только изобретатели ламповых ЭВМ и непонятно для чего оставили в учебных программах…
Топик заставил меня немножко поностальгировать по тому времени :)
И приятно осознавать, что МСТ (МикроСхемоТехника), самый страшный предмет, действительно дает нужную и полезную информацию (для тех, конечно, кто связывают свою работу с этой сферой)

[Gruxon]

Тема интересная и ностальгическая. Кроме института, не то что не использовал, но даже не видел, тех кто использует.

Люди! Ради любопытства, отзовитесь пожалуйста, те, кто в своей работе реально разрабатывает логику на дискретных элементах, даже хотя бы любители, кто ради хобби этим занимается. Сколько вас тут?

[gribozavr]

На дискретных элементах — нет. Но эта теория активно используется в цифровой схемотехнике. Вот построим, например, сумматор. Сначала что? Таблица истинности. А реализовать как? Вот и минимизируешь. А потом хочешь, например, групповой перенос на 4 разряда — и тут уже табличку можно писать минут 10, а потом ещё неизвестно сколько минимизировать и искать ошибки. А так пользуемся формулами, но вывели-то мы их как? Через минимизацию.

[Nattfodd]

Как раз сейчас изучаю эту премудрость в универе. И хотя дико не охота — топики на хабре помогают преодолевать лень :).

Так что присоединяюсь к вопросу — где в жизни оно может понадобиться?

[CLR]

Я это учил вначале в колледже, потом в университете, я знал где это можно использовать, но также знал что мне оно в жизни «никогда не пригодится». И лишь через несколько лет после окончания учебы мне это пригодилось, причем внезапно в быту, когда я решил сделать автоматическое управление светом на даче :) Поскольку особо усердия я во время учебы не прилагал (кто ж мог знать что мне такое вообще в голову взбредет), пришлось учиться заново. Мораль сей басни такова — учите пока есть время, все подряд, знания лишними никогда не бывают, даже если вам читают труд Маркса «Das Kapital».

[SwampRunner]

Ох как же я ненавидел это на втором курсе

[vittore]

Вообще это самый простой способ минимизации.
Интересно было бы почитать про минимизацию монотонными и пороговыми функциями

[stas_agarkov]

когда-то, курсе на 2-м, я написал программу для минимизации логических функций
files.mail.ru/YCO5CK

[imwode]

Позанимаюсь-ка я некрофилией, может поможете мне? Я пытаюсь для начала сделать достаточно простую вещь — синтезировать автомат обработчика нажатия кнопки. Второй день читаю пособия и статьи (например эту), и все никак не могу ухватить основной смысл.

Вводные: у нас есть кнопка. Она может быть нажата и не нажата. При нажатии кнопки запускается дебаунс-таймер и отмеряет интервал короткого нажатия кнопки. Если во время работы этого таймера кнопку отпустили, возвращаемя в исходное положение. Если таймер отработал и кнопка все еще нажата, запускается таймер измерения интервала длинного нажатия. Если во время работы этого таймера кнопка отпущена, фиксируем короткое нажатие и уходим в исходное состояние. И т.д.

Я сделал такую кпарту переходов и выходов:
docs.google.com/spreadsheet/ccc?key=0AnPYVBxHxxhBdHVfdngxX3RYaFRuck1mcjF2cWNFWUE

Последующее курение пособий показало, что я, похоже, неправильно понял суть входов. Т.е. вход должен быть один — x1(кнопка). Вход может быть в состоянии 0 или 1.

Дальше непонятно чем же все-таки являются таймеры — это входы или состояния? Еще периодически встречается термин «функции возмущения», но с ними вообще ничего непонятно.

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

[vladk67]

"Если необходимо получить минимальную ДНФ, то в Карте рассматриваем только те клетки которые содержат единицы, если нужна КНФ, то рассматриваем те клетки которые содержат нули" — это утверждение неверно.

Должно быть так — "Если необходимо получить минимальную ДНФ, то в Карте в первую очередь рассматриваем те клетки которые содержат единицы, если нужна КНФ, то рассматриваем те клетки которые содержат нули."