Cool project! It would be nice to have similar lines on the left and top to show which rows and columns belong to the same variable: http://www.mathematik.uni-marburg.de/~thormae/lectures/ti1/code/karnaughmap/