This body of knowledge taught to us from early 1960's onwards is remarkable, they accomplished so much in the world. Clever 'graphical' algorithms like Karnaugh Maps that subsume more theoretical structures such as Boolean Lattices are a delight