KarnaughMap 3.2 (kmap32.exe) redraws the ovals to match the solution you pick. For example, if you pick the solution /ABD + AC from the tree menu, the program will draw two ovals as shown above.
You can also expand a tree and click on a particular term within an expression. For example, if you click on the term BCD, the program will indicate this oval with a thick line as shown above.
