Programas para resolver Mapas de Karnaugh

Aunque estamos aprendiendo a resolver mapas de Karnaugh, existen algunos programas para resolver dichos mapas. Os dejo un artículo de un blog Acerca de Ubuntu. Habla de algún software para Windows.

• GKMap: software libre disponible para linux y windows: http://sourceforge.net/projects/gkmap/
• Karnaugh Map Minimizer: http://k-map.sourceforge.net/ También está disponible para Windows.
• Minimalizador de mapas de Karnaugh: http://www.freedownloadmanager.org/es/downloads/mapa_de_karnaugh_gratis/ 
• WinLogiLab: http://www.griffith.edu.au/professional-page/charles-hacker/resources/winlogilab

En el blog viene todo desarrollado.