Logisim is a great tool for building and simulating digital logic circuits. For Mac users, Logisim is a great alternative to CedarLogic, though Logism can run on Windows and Linux as well.