Thoughts from a 21st century educator.
I'm working on a script that allows a user to enter in a logical statement in symbolic form, and then the script creates the truth table for that logic. It doesn't work perfectly yet, but it's an interesting exercise. One of my students asked me if the reason we studied logic was partially because of computers, and I agreed.
Check it out here.