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