Earlier I posted this about a cool PL shell:
http://blog.irodata.com/2011/01/propositional-logic.html
Here are some screen shots from a quick LabVIEW VI that I built to demonstrate various logic gates.
When X is true and Y is false:
When X is true and Y is true:
Here is what the VI looks like: