Karnaugh Studio is a graphical editor for truth function design and minimization

Karnaugh Studio is a graphical editor for truth function design and minimization using the Karnaugh mapping method. It supports performing both manual and fully automatic minimization on up to 32 functions in a single project with a maximum of 8 input variables. The results can be displayed, exported, and validated in a wide variety of formats, including many programming and markup languages. Besides that, truth tables, as well as Karnaugh maps, can be exported as images.