Logische Schaltungen, physikalische Realisierung

Mit einigen wenigen logischen Verknüpfungen (Gatter) können alle komplexen Schaltungen eines PCs realisiert werden. Die folgende Auflistung zeigt neben einer möglichen physikalischen Realisierung mit Schaltern und Transistoren auch die mathematische Interpretation in Form von Wahrheitstafeln und boolschen Gleichungen. Zusätzlich wird eine einfache Softwareimplementierung mit Haskell angegeben.

Grundlegend sind die Schaltglieder NOT, AND, OR, XOR, NAND, NOR .

Die Schaltungen können mit einer digitalen Simulationssoftware getestet werden. Je nach Betriebssystem gibt es hierzu unterschiedliche Simulatoren. Am einfachsten sind Java-Lösungen, die auf allen Plattformen laufen. Manche bieten auch eine (eingeschränkte) Applet-Version für den Web-Browser an. Wir werden im Unterricht mit dem Java Logik-Simulator von Tetzl arbeiten.

Unter Linux gibt es weitere exzellente Logiksimulatoren, die über die Paketmanager installierbar sind:

ktechlab
klogic
ksimus
gpsim