GKmap is a free K-Map disclosure software, which is developed to solve
the Digital Electronics design problems. Along with design it also helps
in analysis of information flow in the digital circuits.

WWW: http://sourceforge.net/projects/gkmap/