Цитата(bzx @ Aug 22 2005, 03:33)
Подскажите, с помощью чего можно минимизировать логическую функцию с большим количеством параметров (более 10). Можно упереться и ручками рисовать диаграмму Вейча, но слишком муторно при большом количестве входных параметров. Наверняка есть программы для этого. Подскажите, кто и как решал подобный вопрос.
Классика в этом вопросе - программа espresso. На вход подается текстовый файл с таблицей истинности, на выходе - тот же файл, но уже минимизированный.