Logikschaltungen

Formale Logik

Simulationssoftware

Digital (FOSS, Linux, MacOS, Windows): https://github.com/hneemann/Digital

Online, leider mit Tracking: https://logigator.com/de

Logisim Evolution (FOSS, Linux, MacOS, Windows): https://github.com/logisim-evolution/logisim-evolution/releases