====== Logikschaltungen ======1) Dieser Wiki-Bereich ist in enger Anlehnung an die Materialien von R. Helfrich entstanden - vielen Dank dafür. Alle Fehler und Ungenauigkeiten sind auf meine schlechte Übertragung zurückzuführen.

Formale Logik

Digitaltechnik

Simulationssoftware

Das vorliegende Material verwendet "Digital" als Simulationssoftware2)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 3) Achtung, dynamisch gelinkt, unbedingt testen ob auf dem Zielsystem alle nötigen Bibliotheken vorhanden sind

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

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

Ohne Simulation

Wenn man kein Simulationsprogramm verwenden mag, kann man bei ausreichender Ausstattung - z.B. an der Uni- Logikschaltungen auch auf kleinen Steckbrettern mit "echten" Gattern aufbauen. Das sieht dann ungefähr so aus:

Wenn man sich über umständliche Kabelführung bei Piiri oder Digital ärgert kann man sich zur Beruhigung an diese Bilder erinnern.4) Dank an Richard für die Bilder aus der Uni!