This is a screenshot for the software Karnaugh Minimizer. This interactive Boolean algebra program lets you minimize Boolean functions using the graphic method of Karnaugh maps.. The current version is 1.4.