Karnaugh-Karte

Booleschen Ausdruck eingeben oder Minterme wählen und 2–4 Variablen festlegen. Berechnen erstellt eine kompakte Karnaugh-Karte und eine vollständige minimale DNF. Kopieren übernimmt die ganze Formel. Beispiel lädt die vier Rand-Ecken 0,2,8,10 mit vier Variablen; Ergebnis ¬b ∧ ¬d. Standard stellt a & b wieder her und entfernt Ergebnisse. Leere Minterme bedeuten die konstant falsche Funktion.

Die Ecke oben links benennt Zeilen- und Spaltenvariablen. Gray-Reihenfolge: 0,1 oder 00,01,11,10; erste und letzte Zeilen/Spalten sind Nachbarn. 1-Zellen anklicken oder mit Tab fokussieren und Enter/Leertaste drücken, um eine Gruppe zu wählen. Gültig ist ein Rechteck mit Zweierpotenz-Zellzahl und nur Einsen, auch über Ränder/Ecken hinweg. Gruppe löschen entfernt die Auswahl. Ungültige Auswahl zeigt eine Meldung statt eines geratenen Terms. Unter Gruppen der DNF einen Term anklicken, um seine Zellen hervorzuheben. Gruppen dürfen überlappen.

Ausdruckssyntax: !/¬ NICHT, &/∧ UND, ^/⊕ XOR, |/∨ ODER, ->/→ Implikation, <->/↔ Äquivalenz, Klammern, 0/1 und Operator-Schlüsselwörter. Rangfolge folgt dieser Reihenfolge; Implikation ist rechtsassoziativ. ASCII-Variablen sind unabhängig von Groß-/Kleinschreibung, Schlüsselwörter reserviert. Variablen alphabetisch sortiert; die erste ist das höchstwertige Minterm-Bit. Konstanten/einzelne Variablen werden mit ungenutzten a/b-Variablen zur kleinsten Zwei-Variablen-Karte ergänzt; die Funktion bleibt gleich.

Alle gültigen Rechtecke werden ermittelt; maximale Gruppen (Primimplikanten) bilden eine exakte minimale Überdeckung. Ergebnis mit den wenigsten UND-Termen, bei Gleichstand mit den wenigsten Literalen. Gleichwertige minimale Alternativen sind möglich; eine davon wird gezeigt. Keine Don't-Cares, POS/CNF-Minimierung oder Garantie hazardfreier Schaltungen. Höchstens vier Variablen/16Zellen, 4096Zeichen/256Tokens; Minterme als ganze Dezimalindizes mit Leerzeichen, Komma oder Semikolon, ohne Hex/Brüche/Vorzeichen. Doppelte Indizes sind harmlos. Grenzen gelten vor rekursivem Parsen. Alles lokal, keine Eingabespeicherung in Cookies/URLs; Zwischenablage bleibt bis zum Überschreiben erhalten.

Ausdruck und Minterme behalten getrennte rohe Eingaben, berechnete oder unbearbeitete Zustände und markierte Eins-Zellen im lokalen Browserspeicher. Bearbeiten entfernt aktives Ergebnis und Auswahl. Beispiel ersetzt nur die Minterm-Sitzung; Zurücksetzen leert beide Sitzungen. Über der automatischen Speichergrenze von 100000 Zeichen bleibt der Entwurf innerhalb der App verfügbar, nach Neuladen erscheint die vorige gespeicherte Kopie.

Nur Eingabewerte bleiben in diesem Browser erhalten. Berechnete Ergebnisse und Versuchsverläufe werden nicht gespeichert.