Boolescher Algebra Vereinfacher

Verwenden Sie A, B, C... für Variablen. Operatoren: & (UND), | (ODER), ! (NICHT), ^ (XOR), ( )

Gegeben ist ein Boolescher Ausdruck — A·B + A·¬B + ¬A·B oder eine Wahrheitstabelle mit Mintermen — gibt dieser Vereinfacher die minimale Summe-der-Produkte-Form unter Verwendung des Quine-McCluskey-Algorithmus zurück, plus eine Karnaugh-Diagramm-Visualisierung für bis zu sechs Variablen. Er zeigt jeden Schritt (primäre Implikanten, essentielle primäre Implikanten, die Abdeckungstabelle), sodass er nicht nur für Hausaufgaben nützlich ist, sondern auch zur Überprüfung, was ein Minimierer in Ihrem Synthesewerkzeug gewählt hat.

Wie die Boolesche Vereinfachung abläuft

  1. 1

    Geben Sie den Ausdruck oder die Minterme ein

    Verwenden Sie Operatoren · (UND), + (ODER), ' oder ¬ (NICHT), ⊕ (XOR). Oder fügen Sie Minterm-Indizes wie m(0,1,3,7) ein.

  2. 2

    Wahrheitstabelle wird generiert

    Jede Variablenzuweisung wird ausgewertet und die Funktionsausgabe wird tabellarisch dargestellt.

  3. 3

    Quine-McCluskey findet primäre Implikanten

    Minterme werden gruppiert und iterativ kombiniert. Benachbarte Gruppen (die sich in einer Variablen unterscheiden) werden zusammengeführt, bis keine weiteren Reduzierungen möglich sind.

  4. 4

    Essentielle Implikanten decken die Funktion ab

    Eine Petrick-Methode Abdeckungstabelle wählt die minimale Menge an primären Implikanten aus. Das Ergebnis ist die vereinfachte SOP. Die POS-Form wird aus dem Komplement abgeleitet.

Unterstützte Operatornotation

Operation Akzeptierte Symbole
UND ·, *, &, , Leerzeichen
ODER +, |,
NICHT \', ¬, !, ~, Überstrich (A mit Überstrich wird als A\' dargestellt)
XOR , ^
Konstanten 0, 1

Beispiel

Eingabe: A·B + A·¬B + ¬A·B

Wahrheitstabelle:

A B F
0 0 0
0 1 1
1 0 1
1 1 1

Minterme: m(1, 2, 3). Die minimale SOP reduziert sich auf A + B (ODER der beiden Variablen). Der Vereinfacher durchläuft:

  1. Minterme nach Anzahl der 1en gruppieren
  2. Benachbarte Paare kombinieren: (1,3) → -B, (2,3) → A-
  3. Abdeckungstabelle zeigt, dass beide essentiell sind — finale Form: A + B

Warum minimieren

  • Weniger Gatter: jeder UND/ODER-Term kostet Silizium oder FPGA LUTs.
  • Kürzerer kritischer Pfad: kleinere Logik bedeutet normalerweise geringere Propagationsverzögerung.
  • Geringerer Stromverbrauch: weniger schaltende Knoten.

Algorithmusgrenzen

  • Anzahl der Variablen: Quine-McCluskey skaliert im schlimmsten Fall als O(3^n / n). Das Werkzeug verarbeitet bis zu 8 Variablen problemlos; darüber hinaus verwenden Sie Espresso-ähnliche heuristische Minimierer (Sie erhalten keine garantierte Minimalität, aber es ist machbar).
  • Don’t-care-Terme: Fügen Sie sie mit der d(indices)-Syntax hinzu, um kleinere Ergebnisse zu erhalten, wenn einige Eingabekombinationen nicht auftreten können.

Häufig gestellte Fragen

Summe-der-Produkte ist ODER-von-UNDs (wie AB + CD); Produkt-der-Summen ist UND-von-ODERs (wie (A+B)(C+D)). Gleiche Funktion, unterschiedliche Struktur. Der Vereinfacher gibt beide zurück — wählen Sie, was Ihrem nachgelagerten Werkzeug entspricht.

Ja. Geben Sie sie als d(index1, index2, ...) zusammen mit den Mintermen ein. Der Minimierer behandelt sie als “frei”, um den Wert zuzuweisen, der ein kleineres Ergebnis liefert.

Beide produzieren minimale Kosten, wenn Sie richtig wählen, aber K-Maps hängen davon ab, dass die Person die größtmöglichen Gruppen erkennt. Quine-McCluskey ist deterministisch und findet immer ein Optimum.

XOR wird vor der Minimierung in UND/ODER/NICHT umgewandelt. Sie erhalten eine äquivalente SOP, aber die XOR-Struktur geht verloren. Für XOR-erhaltende Optimierung ist ein anderer Algorithmus (Reed-Muller) erforderlich.

Verwandte Tools