CEDAR Logic Guide
CedarLogic is a great tool for building and simulating digital logic circuits. However, CedarLogic does not run on Mac. Mac Users, see the Logisim tutorial for an alternative.
Warning: Sometimes CedarLogic crashes unexpectedly, so make sure you save frequently!