LogicCircuit

Free
An educational application for designing and simulating logic circuits