Logikschaltungen

Formale Logik

Digitaltechnik

Simulationssoftware

Das vorliegende Material verwendet "Digital" als Simulationssoftware1)https://github.com/hneemann/Digital.

Download von Github: https://github.com/hneemann/Digital/releases/download/v0.29/Digital.zip

Dokumentation (deutsch)

Weitere Programme

Piiri, ein exzellentes Programm, allerdings nicht mehr gepflegt (https://launchpad.net/piiri/)).

Version für Windows

Version für Linux

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

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