Программное обеспечение
Karnaugh Minimizer, Коммерческое Windows-приложение (часто работает некорректно, например для этого уравнения: 0,1,5,8,10,13).
Logic Minimizer, Коммерческое Windows-приложение, но можно сделать, чтобы запускалось на Unix.
Kmap minimizer Онлайн-приложение (Flash).
GKMap, свободное ПО на SourceForge.net.
Karnaugh Map Minimizer, бесплатное (но часто некорректно работающее) ПО на SourceForge.net.
Gorgeous Karnaugh, коммерческое ПО Gorgeous Karnaugh для минимизации по картам Карно.
Во-первых, всё зарубежное.
Во-вторых, не всё скачал.
Есть какие-нибудь готовые программы и исходные коды?
Категория Булева алгебра — Википедия