VIDEO: Karnaugh Maps

I've been attending Digital Electronics classes at the university, and one of the subjects covered is certainly Karnaugh Maps.

So far I've come across different approaches to build a map from a truth table and later obtain a simplified boolean expression. This very one presented in the video below is exactly the one taught in class:

I don't think the instructor does an excellent job when determining the variables that will be extracted from the table, that should be further clarified or done more patiently, slowly step-by-step, to facilitate to the novice. I took me an excessive amount of time to follow him along at that step, but I fortunately succeeded.

Enjoy it! 

Some pieces of software for logical circuits and Karnaugh maps

By navigating through the web, I've found some pieces of software to check out whenever I have some free time, dedicated to logical circuits, Karnaugh maps and other related stuff. Here they come:

• Karma 3 and Logic2Logic: http://www.inf.ufrgs.br/logics/index.php?option=com_content&task=view&id=52&Itemid=51
• Karnaugh Map Minimizer: http://k-map.sourceforge.net
• GK Map: http://sourceforge.net/projects/gkmap/
• Gorgeous Karnaugh: http://gorgeous-karnaugh.com

Have you tested any of them? Do you have any other to recommend?

Well, my first step is to learn it on paper, haha that's what'll be demanded in my exams by the end of the semester.