Gatter verbinden und die Lampe leuchten sehen.

Schaltungseditor

Gatter AND, OR, NOT, XOR, NAND, NOR, XNOR und BUF auf einem Raster (2–4 Eingänge bei Gattern mit mehreren Eingängen), Schalter, Lampe und Takt (0,5–8 Hz). Platzieren durch Antippen des Bauteils und Wahl der Stelle oder durch Ziehen; Leitungen durch Ziehen zwischen Anschlüssen, durch Antippen nacheinander oder mit dem Dialog „Verbinden …“.

Live-Simulation

Ereignisgesteuert, jedes Gatter hat eine Verzögerung von einem Schritt. Schaltungen mit Rückkopplung (SR-Latch) kommen in einen Zustand; eine Schaltung, die nicht zur Ruhe kommt, wird als schwingend angezeigt. Leitungen, die 1 führen, leuchten.

Wahrheitstabelle und Ausdruck

Die Tabelle entsteht automatisch aus Schaltern und Lampen (bis zu 8 Eingänge), die aktuelle Zeile ist hervorgehoben. Der boolesche Ausdruck wird bis zu 4 Eingängen als mit Quine–McCluskey vereinfachte disjunktive Normalform geschrieben, XOR-Formen werden erkannt. „Tabelle kopieren“ liefert tabulatorgetrennten Text.

12 Übungen

NOT, Gatter, Halb- und Volladdierer, nur NAND, SR-Latch, Multiplexer, Decoder, Komparator, 2-Bit-Addierer, D-Latch, Mehrheitsentscheid. „Prüfen“ testet alle Eingangskombinationen und zeigt die erste falsche Zeile; der Fortschritt wird gespeichert.

Schaltung aus Tabelle erstellen

Eine Wahrheitstabelle ausfüllen oder einen Ausdruck eingeben (A·B + ¬C, A ⊕ B …); Boolia baut die Schaltung in vereinfachter Form, mit bis zu 4 Eingängen und 4 Ausgängen.

Schrittweise ausführen

Jeder Schritt ist eine Gatterverzögerung; die im nächsten Schritt berechneten Bauteile sind markiert. Der Takt lässt sich auch von Hand weiterschalten.

Alle Funktionen