Seit 2010 · Über 2 Mio. Tool-Aufrufe pro Monat
Seit 2010
Zu Chrome hinzufügen

Mein Werkzeugkasten

Automatischer Modus

Noch keine Werkzeuge gespeichert.

Auf Premium-Version upgraden
Ähnliche Tools
Nächster Schritt
Karnaugh-Diagramm (K-Map) LöserWahrheitstabellen-Generator
Gleiche Situation
Logikgatter Simulator
Weitere Tools
Algebraischer Ausdrucks-VereinfacherBinär-RechnerHexadezimal-Rechner
Startseite > Mathematik > Erweiterte Rechenoperationen
 

Boolesche Algebra Vereinfacher

Vereinfachen Sie Boolesche Ausdrücke mit dem Vereinfacher für Boolesche Algebra von MiniWebtool anhand algebraischer Gesetze, des Quine-McCluskey-Verfahrens und Karnaugh-Diagrammen. Geben Sie beliebige AND-, OR-, NOT-, XOR-, NAND- oder NOR-Ausdrücke ein, um die minimale SOP-/POS-Form, eine Wahrheitstabelle, ein K-Diagramm, ein Gatterdiagramm und äquivalente Ausdrücke ausschließlich mit NAND-Gattern zu erhalten.

Fragen zur Bedienung? Frag eine KI
Gemini (kopieren und öffnen)

Füge die kopierte Frage in den Gemini-Chat ein. Du kannst sie auch unten kopieren.

Frage ansehen

3× täglich kostenlosOhne RegistrierungSofortige Ergebnisse
Boolesche Algebra VereinfacherJetzt testen — gratis ▼
Im KV-Diagramm entfällt bei einem Paar benachbarter Einsen eine Variable

Geben Sie unten einen booleschen Ausdruck ein, um die minimale Form, die Wahrheitstabelle, das Karnaugh-Veitch-Diagramm und die Schritte zu erhalten.

Beispiele:
Einfügen:
AKZEPTIERTE SYNTAX
UND: & · AB  |  ODER: + |  |  NICHT: ~ ! A'  |  XOR NAND NOR  |  oder eine Liste: F(A,B,C,D) = Σm(1,3,7) + d(0,2)

Embed Boolesche Algebra Vereinfacher Widget

Boolesche Algebra Vereinfacher

Der Boolesche Algebra Vereinfacher reduziert jeden Logikausdruck auf seine Minimalform unter Verwendung des Quine-McCluskey-Algorithmus und der Karnaugh-Veitch-Diagramm-Analyse. Geben Sie Ausdrücke mit AND, OR, NOT, XOR, NAND, NOR (oder Symbolen wie &, |, ~, ^, Postfix A') ein und erhalten Sie sofort die vollständige Wahrheitstabelle, ein farbiges KV-Diagramm mit Primimplikanten-Schleifen, eine Primimplikanten-Tabelle mit Kennzeichnung der Kernimplikanten, eine schrittweise Herleitung sowie äquivalente NAND-only und NOR-only Implementierungen.

Was der Vereinfacher liefert

📊
Wahrheitstabelle
Alle \(2^n\) Eingangskombinationen mit dem Ergebnis des Ausdrucks.
🗺️
KV-Diagramm
Gray-Code-Raster mit grafisch dargestellten Primimplikanten.
🎯
Minimale DNF / KNF
Wenigste Literale, wenigste Terme — die optimalen Formen.
🧩
Primimplikanten
Mit Kennzeichnung der Kernimplikanten für die Überdeckung.
↑↓
NAND/NOR-Formen
Universelle Gatter-Äquivalente für die Schaltungssynthese.
↘
Schritt-für-Schritt
Die Herleitung nach Quine-McCluskey im Detail erklärt.

Gesetze der booleschen Algebra — Referenz

Boolesche Algebra Vereinfacher: Gesetze der booleschen Algebra — Referenz
GesetzODER-FormUND-Form
Identität\( A + 0 = A \)\( A \cdot 1 = A \)
Null-Gesetz\( A + 1 = 1 \)\( A \cdot 0 = 0 \)
Idempotenz\( A + A = A \)\( A \cdot A = A \)
Komplement\( A + \overline{A} = 1 \)\( A \cdot \overline{A} = 0 \)
Doppelnegation\( \overline{\overline{A}} = A \)
Kommutativgesetz\( A + B = B + A \)\( A \cdot B = B \cdot A \)
Assoziativgesetz\( (A + B) + C = A + (B + C) \)\( (A \cdot B) \cdot C = A \cdot (B \cdot C) \)
Distributivgesetz\( A \cdot (B + C) = AB + AC \)\( A + BC = (A+B)(A+C) \)
Absorptionsgesetz\( A + AB = A \)\( A(A + B) = A \)
De Morgansche Gesetze\( \overline{A + B} = \overline{A} \cdot \overline{B} \)\( \overline{A \cdot B} = \overline{A} + \overline{B} \)
Konsensus-Gesetz\( AB + \overline{A}C + BC = AB + \overline{A}C \)

Spickzettel für die Eingabesyntax

Boolesche Algebra Vereinfacher: Spickzettel für die Eingabesyntax
OperatorAkzeptierte FormenBeispiel
AND (UND)&, *, ·, ., Verkettung AB, Wort AND, ∧A&B, AB, A AND B
OR (ODER)+, |, Wort OR, ∨A+B, A | B, A OR B
NOT (NICHT)~, !, ¬, Wort NOT, Postfix '~A, !A, A', (AB)'
XOR^, ⊕, Wort XORA XOR B, A^B
NAND⊼, Wort NANDA NAND B
NOR⊽, Wort NORA NOR B
Impliziert->, =>, Wort IMPLIES, →A -> B
Äquivalenz<->, <=>, Wort IFF, ↔A <-> B
Konstanten0 1 TRUE FALSEA + 0, A * 1

Der Quine-McCluskey-Algorithmus

Die Quine-McCluskey-Methode ist ein systematischer, tabellarischer Ansatz zur Ermittlung des minimalen disjunktiven Normalform-Ausdrucks. Im Gegensatz zum KV-Diagramm (das visuell ist und auf etwa 6 Variablen beschränkt bleibt), skaliert Quine-McCluskey besser und liefert garantiert eine minimale Überdeckung.

  1. Minterme auflisten — Jede Zeile der Wahrheitstabelle, die den Wert 1 ergibt.
  2. Nach Anzahl gesetzter Bits gruppieren — Sortieren der Minterme nach der Anzahl der 1en in ihrer Binärdarstellung.
  3. Benachbarte Gruppen kombinieren — Paare, die sich in genau einem Bit unterscheiden, werden zusammengeführt, wobei dieses Bit durch einen Bindestrich ersetzt wird. Wiederholen, bis keine Kombinationen mehr möglich sind.
  4. Primimplikanten sammeln — Jeder Term, der nicht weiter kombiniert werden konnte, ist ein Primimplikant.
  5. Primimplikanten-Tabelle erstellen — Ein Raster mit Primimplikanten als Zeilen und Mintermen als Spalten. Markieren, welcher Primimplikant welche Minterme abdeckt.
  6. Kernimplikanten auswählen — Jeder Primimplikant, der als einziger einen bestimmten Minterm abdeckt, ist essentiell.
  7. Restliche Minterme abdecken — Zusätzliche Primimplikanten wählen, um die noch nicht abgedeckten Minterme bei minimaler Literalen-Anzahl zu erfassen.

So verwenden Sie den Boolesche Algebra Vereinfacher

  1. Ausdruck eingeben: Tippen Sie einen beliebigen booleschen Ausdruck ein. Sie können Stile mischen — A.B + A'C und A AND B OR NOT A AND C werden identisch analysiert.
  2. Auf Vereinfachen klicken: Das Tool analysiert den Ausdruck, erstellt die Wahrheitstabelle, führt Quine-McCluskey aus und minimiert den Ausdruck.
  3. KV-Diagramm studieren: Jede farbige Schleife ist ein Primimplikant. Kernimplikanten sind mit durchgezogenen Linien gezeichnet, nicht-essenzielle mit gestrichelten Linien.
  4. Schritte überprüfen: Das Panel für die schrittweise Herleitung führt von der kanonischen DNF über die Primimplikanten-Suche bis zur Minimalform.
  5. Äquivalente Formen prüfen: Nutzen Sie die minimale KNF (POS), wenn Ihre Zieltechnologie ODER-von-UND ist, oder die NAND-only Form für die Implementierung auf NAND-basierten Chips.

Anwendungsbereiche

Boolesche Algebra Vereinfacher: Anwendungsbereiche
BereichAnwendungsfall
Digitaler SchaltungsentwurfMinimierung der Gatteranzahl in der Kombinatorik — weniger Gatter bedeuten geringeren Stromverbrauch, kleinere Chipfläche und kürzere Laufzeiten.
Compiler-OptimierungVereinfachung von Bedingungsausdrücken in If-Statements und Schleifen, um die Kosten der Zweig-Auswertung zu senken.
Programmierbare Logik (FPGA)Optimale Ausnutzung von Look-up-Tables (LUTs) durch Erzeugung von Formen mit minimalen Literalen.
Datenbank-AbfrageoptimierungUmschreiben von WHERE-Klausel-Prädikaten in äquivalente, aber kostengünstiger auswertbare Formen.
Formale VerifikationKanonische Formen (DNF/KNF) ermöglichen den Äquivalenzvergleich von zwei Spezifikationen.
Lehre / StudiumÜberprüfung von Hausaufgaben, Studium der Primimplikanten-Auswahl und Untersuchung von Gruppierungsstrategien in KV-Diagrammen.

FAQ

Kann ich Minterme und Don't-Care-Bedingungen eingeben?
Ja. Geben Sie die Funktion als Mintermliste ein, etwa F(A,B,C,D) = Σm(1,3,7,11,15) + d(0,2,5), oder als Maxterme mit ΠM(…). Sie können auch m(…) oder sum m(…) sowie dc(…) oder x(…) für Don't-Cares verwenden. Don't-Cares erscheinen als X in der Wahrheitstabelle und im Karnaugh-Diagramm und werden nur verwendet, wenn sie größere Gruppen ermöglichen.
Was ist die Vereinfachung der booleschen Algebra?
Die Vereinfachung der booleschen Algebra reduziert einen Logikausdruck auf einen äquivalenten Ausdruck mit weniger Operationen und Literalen. Ein einfacherer Ausdruck bedeutet weniger Logikgatter in der Hardware, eine schnellere Auswertung in der Software und eine einfachere menschliche Überprüfung. Methoden wie algebraische Gesetze, KV-Diagramme und der Quine-McCluskey-Algorithmus werden von diesem Tool kombiniert.
Was ist eine minimale disjunktive Normalform (DNF/SOP)?
Die minimale disjunktive Normalform schreibt eine boolesche Funktion als ODER-Verknüpfung der kleinstmöglichen Anzahl von Produkttermen, wobei jedes Produkt die kleinstmögliche Anzahl von Literalen verwendet. Sie wird durch Erweiterung der Funktion zur kanonischen DNF (ein Minterm pro wahrer Zeile) und anschließende Kombination benachbarter Minterme nach der Regel \( XY + \overline{X}Y = Y \) gefunden. Das Ergebnis ist eine minimale zweistufige UND-ODER-Schaltung.
Wie funktioniert ein Karnaugh-Veitch-Diagramm?
Ein KV-Diagramm ist ein Raster, in dem Zeilen und Spalten mit Gray-Code-Bitmustern beschriftet sind, sodass sich physikalisch benachbarte Zellen um genau eine Variable unterscheiden. Gruppen benachbarter 1-Zellen der Größen 1, 2, 4 oder 8 entsprechen Produkttermen, die 0, 1, 2 oder 3 Variablen eliminieren. Die Strategie lautet: "Decke jede 1 mit den größtmöglichen legalen Rechtecken ab."
Was ist ein Primimplikant?
Ein Primimplikant ist ein Produktterm, der eine Gruppe von Mintermen abdeckt und nicht mit einer anderen benachbarten Gruppe zu einer größeren Gruppe kombiniert werden kann. Ein Kernimplikant (wesentlicher Primimplikant) ist der einzige, der einen bestimmten Minterm abdeckt – er ist unverzichtbar. Nicht-essenzielle Primimplikanten sind optional und werden nur einbezogen, wenn sie zur Abdeckung verbleibender Minterme nötig sind.
Welche Eingabesyntax akzeptiert der Vereinfacher?
Sie können AND als &, *, ·, . oder einfache Verkettung schreiben (AB). OR kann + oder | sein. NOT kann ~, !, ¬ oder ein nachgestelltes Apostroph (A', (A+B)') sein. Wortoperatoren wie AND OR NOT XOR NAND NOR IMPLIES IFF funktionieren ebenso wie Pfeile -> und <->. Klammern gruppieren Teilausdrücke. Konstanten wie 0, 1, TRUE oder FALSE werden ebenfalls unterstützt.
Warum sind reine NAND- und NOR-Formen nützlich?
NAND und NOR sind universelle Gatter. In der Halbleitertechnik sind NAND-Gatter oft am effizientesten zu fertigen. Eine reine NAND-Form kann direkt als zweistufige NAND-NAND-Schaltung gelesen werden, was strukturell identisch mit einer UND-ODER-Schaltung in der Vermittlungstheorie ist.
Wie viele Variablen unterstützt das Tool?
Bis zu 8 Variablen. Das KV-Diagramm wird für 2, 3 und 4 Variablen gerendert (Rastergrößen 2×2, 2×4 und 4×4). Ab 5 Variablen wächst die Wahrheitstabelle auf 32+ Zeilen an; der Quine-McCluskey-Algorithmus liefert weiterhin die exakte Minimalform, aber das KV-Diagramm entfällt, da mehrdimensionale Diagramme schwer lesbar sind.
Kann ich prüfen, ob zwei boolesche Ausdrücke äquivalent sind?
Ja — vereinfachen Sie beide Ausdrücke separat. Wenn ihre minimalen DNF-Formen identisch sind, berechnen sie dieselbe Funktion. Sie können auch ihre Wahrheitstabellen Zeile für Zeile vergleichen. Der Vereinfacher gibt sowohl den Minterm-Satz als auch die kanonische DNF aus, die eindeutige Fingerabdrücke der Funktion sind.
Wie vereinfache ich einen logischen Ausdruck anhand der Ausgabewerte einer Wahrheitstabelle?
Schreiben Sie die Funktion als Minterme für die Eingabezeilen, bei denen die Ausgabe 1 ist. Geben Sie anschließend die Minterm-Indizes in der Listenform ein, zum Beispiel F(A,B,C) = Σm(1,3,6). Der Vereinfacher kann daraus eine Minimalform und die zugehörige Wahrheitstabelle erstellen. Achten Sie darauf, dass die Reihenfolge Ihrer Variablen zur verwendeten Nummerierung der Zeilen passt. Eine andere Reihenfolge für A, B und C ändert, welche Binäreingabe einem Index entspricht.
Warum hat ein vereinfachter boolescher Ausdruck weniger Terme, aber mehr Literale?
Bei der booleschen Minimierung kann ein Maß für Einfachheit zulasten eines anderen optimiert werden. Ein Ausdruck mit weniger Produkttermen kann insgesamt trotzdem mehr Variablenliterale enthalten. Ein gleichwertiger Ausdruck kann dagegen mehr Terme mit kürzeren Produkten verwenden. Es kann mehrere gleichwertige minimale Überdeckungen geben. Vergleichen Sie daher die Form, die am besten zu Ihrer Schaltung oder den Anforderungen Ihrer Aufgabe passt. Achten Sie auch darauf, DNF/SOP nur mit DNF/SOP oder KNF/POS mit KNF/POS zu vergleichen, da dabei unterschiedliche Ausgabewerte gruppiert werden.
Was bedeutet der Apostroph nach einer Variablen in einem booleschen Ausdruck?
Ein nachgestellter Apostroph bedeutet NICHT, also die Negation der Variablen: A' entspricht ~A oder !A in der vom Vereinfacher unterstützten Schreibweise. AB' bedeutet beispielsweise A UND NICHT B. Ein häufiger Fehler ist, den Apostroph ohne Klammern hinter einen ganzen Ausdruck zu setzen. (A+B)' bedeutet NICHT des gesamten ODER-Ausdrucks, während A+B' nur B negiert. Klammern machen den gemeinten Geltungsbereich deutlich.

Zitieren Sie diesen Inhalt, diese Seite oder dieses Tool als:

"Boolesche Algebra Vereinfacher" unter https://MiniWebtool.com/de/boolesche-algebra-vereinfacher/ von MiniWebtool, https://MiniWebtool.com/

von miniwebtool Team. Aktualisiert: 2026-04-19

Entwickler-API verfügbar: Führen Sie dieses Tool in Ihrer App, Automatisierung oder Ihrem Agenten mit einer JSON-HTTP-Anfrage aus. API-Dokumentation ansehen

Chatte mit deiner bevorzugten KI

Gemini (kopieren und öffnen)

Füge die kopierte Frage in den Gemini-Chat ein. Du kannst sie auch unten kopieren.

Frage ansehen

Erweiterte Rechenoperationen:

Mathe-LöserWas möchten Sie berechnen?

Mathe-Löser

Beispiele
Weitere Ausdrücke

Beispiel auswählen, Zahlen ändern und lösen. log hat Basis 10; ln ist der natürliche Logarithmus.

Zahlen und Faktoren

Brüche und Division

Potenzen, Wurzeln und Logarithmen

Algebra und Gleichungen

Analysis

Geometrie und Trigonometrie

Beliebte und aktualisierte Tools:

Wurzel-VereinfacherBrüche vereinfachenVenn-Diagramm-Generator (3 Mengen)Alle anzeigen →
Startseite > Mathematik > Erweiterte Rechenoperationen > Boolesche Algebra Vereinfacher