упрощение логических выражений.

← →
Карлсон © (2003-01-08 16:28) [0]

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

← →
passm © (2003-01-08 16:35) [1]

Карлсон © (08.01.03 16:28)> Есть "Булева алгебра".

← →
Карлсон © (2003-01-08 16:43) [2]

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

← →
Ketmar © (2003-01-08 17:01) [3]

>Карлсон © (08.01.03 16:43)
а вот не надо тупых наездов. цитата:
>может есть еще методы?
ы? глаза протираем и перечитываем свои посты, прежде чем ругаться. ок?

Satanas Nobiscum! 08-Jan-XXXVIII A.S.

← →
Карлсон © (2003-01-08 17:03) [4]

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

← →
LordOfSilence © (2003-01-08 17:07) [5]

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

← →
Игорь Шевченко © (2003-01-08 17:36) [6]

Метод МакКласки - рулез фарева. Хорошо алгоритмизируется.
(McCluskey)

← →
Cobalt © (2003-01-08 20:22) [7]

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

← →
Jeer © (2003-01-08 20:45) [8]

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

McCluskey совместно с Квайном(Quine-McCluskey), работая в Bell T.Lab, первыми создали методы для минимизации комбинаторных схем.

диаграммы Вейча позволяют упрощать выражения, содержащие до четырех переменных, а карты Карно?

Были математики, которые десятилетями делали расчеты, чтобы вычислить положение какой-либо планеты.
Размерность - проклятие ручный расчетов.
Более 6-х переменных - уже сложно вручную.
Карты Карно использовали "склеивание" - так, что > 8 переменных это уже финиш.

Карты Карно позволяют практически сколько угодно. Правда, для более чем 4 надо потрудится их составить (2 кольцевых списка переменных, наборы отличаются одним знаком(в смысле - 0/1))

упрощение логических выражений. Найти похожие ветки