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

Классика в этом вопросе - программа espresso. На вход подается текстовый файл с таблицей истинности, на выходе - тот же файл, но уже минимизированный.

А программа действительно работает одноименному алгоритму или это случайность – совпадение названий программы и алгоритма.

Если Вы ещё облегчите мне поиск этой программы, то я был бы счастлив.

Такая необходимость отпала, уже нашёл. В любом случае, acex2, спасибо.

Не случайность. Это действительно и есть реализация алгоритма минимизации espresso. Кроме одноименного алгоритма, у нее есть возможность полной минимизации без эвристик (опция -Dexact).