Software To Create Karnaugh Maps
There is at least a LaTeX package for Karnaugh maps and Veitch charts. K-map on sourceforge looks promising too (though the source included no Makefile). I hope we'll see others listed here!