Do Karnaugh maps yield the simplest solution possible?
Karnaugh maps do not always give the simplest expression possible, but they do always give the simplest "Sum of Products" expression possible (https://www.facstaff.bucknell.edu/mastascu/eLessonsHTML/Logic/Logic3.html).