Карта Карно — Википедия

Программное обеспечение

    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 для минимизации по картам Карно.

Во-первых, всё зарубежное.
Во-вторых, не всё скачал.

Есть какие-нибудь готовые программы и исходные коды?
Категория Булева алгебра — Википедия