Logikschaltungen

Formale Logik

Digitaltechnik

Simulationssoftware

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

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

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