Thanks Mark. Once I saw the schematic for Not I smacked myself on the head for not figuring it out, because it seemed pretty obvious. I can interpret canonical form... ie:
http://upload.wikimedia.org/math/d/c/b/dcbef12b16e25431554a826dadd22327.pngRight away from that I can intuitively design the circuit. I've also taken advantage of abstraction by using my And, Or, and Not in more complex gates. It is indeed satisfying to build something like a multiplexor from primative gates that I built myself. So, I think I'm doing ok. And I'm having fun.
I've seen some of your other posts here. Thank you for being so dedicated to helping us. Do you teach computer science, or do you just love this stuff (or both!)?