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

← →
Udjin © (2002-12-02 08:52) [0]

Часто мне в последнее время приходится сабжем заниматься. Просто интересно, это дело вообще поддаётся формализации ? Карты Карно это конечно хорошо, но до чего нудное это занятие...., хочется его автоматизировать.

← →
Udjin © (2002-12-02 09:17) [1]

Извиняюсь, не туда попал, хотел в "Потрепаться"...

← →
Calm © (2002-12-02 09:19) [2]

Помнится, был у нас в инстуте метод. Как называется? Убей - не помню. Но программировался очень легко.
Ищи в вычислительной математике...

← →
Udjin © (2002-12-02 11:55) [3]

Может кто подскажет название метода ?

Видел библиотечку, адреса не помню, название что-то типа Carno Minimizer, находил поиском в Инете

Минимизация логических функций Найти похожие ветки