A very usable open source logic program written in Java. Use the link below to download and install it on your computer. You will then be able to open the lesson circuits.