LogicSim

LogicSim by Andreas Tetzl is a Java program that lets you design and debug logic circuits by arranging and interconnecting parts from a library. It comes with several standard logic elements (e.g., And, Or, Not, Flip-Flops, etc.) and you can add to the library yourself as you learn. It supports almost any computer and four spoken languages.