LogicCircuit is free, open source educational software for designing and simulating digital logic circuits.