Boolesche Algebra Vereinfacher

Vereinfachen Sie boolesche Ausdrücke mit algebraischen Gesetzen, Quine-McCluskey und Karnaugh-Veitch-Diagramm-Minimierung. Geben Sie einen beliebigen Logikausdruck ein (AND, OR, NOT, XOR, NAND, NOR) und erhalten Sie sofort die minimale SOP/POS-Form, die vollständige Wahrheitstabelle, K-Map-Visualisierung, Gate-Diagramm, schrittweise Anwendung von Gesetzen und NAND/NOR-äquivalente Formen.

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

Gesetz	ODER-Form	UND-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

Operator	Akzeptierte Formen	Beispiel
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 `XOR`	`A XOR B`, `A^B`
NAND	`⊼`, Wort `NAND`	`A NAND B`
NOR	`⊽`, Wort `NOR`	`A NOR B`
Impliziert	`->`, `=>`, Wort `IMPLIES`, `→`	`A -> B`
Äquivalenz	`<->`, `<=>`, Wort `IFF`, `↔`	`A <-> B`
Konstanten	`0` `1` `TRUE` `FALSE`	`A + 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.

Minterme auflisten — Jede Zeile der Wahrheitstabelle, die den Wert 1 ergibt.
Nach Anzahl gesetzter Bits gruppieren — Sortieren der Minterme nach der Anzahl der 1en in ihrer Binärdarstellung.
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.
Primimplikanten sammeln — Jeder Term, der nicht weiter kombiniert werden konnte, ist ein Primimplikant.
Primimplikanten-Tabelle erstellen — Ein Raster mit Primimplikanten als Zeilen und Mintermen als Spalten. Markieren, welcher Primimplikant welche Minterme abdeckt.
Kernimplikanten auswählen — Jeder Primimplikant, der als einziger einen bestimmten Minterm abdeckt, ist essentiell.
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

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.
Auf Vereinfachen klicken: Das Tool analysiert den Ausdruck, erstellt die Wahrheitstabelle, führt Quine-McCluskey aus und minimiert den Ausdruck.
KV-Diagramm studieren: Jede farbige Schleife ist ein Primimplikant. Kernimplikanten sind mit durchgezogenen Linien gezeichnet, nicht-essenzielle mit gestrichelten Linien.
Schritte überprüfen: Das Panel für die schrittweise Herleitung führt von der kanonischen DNF über die Primimplikanten-Suche bis zur Minimalform.
Ä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

Bereich	Anwendungsfall
Digitaler Schaltungsentwurf	Minimierung der Gatteranzahl in der Kombinatorik — weniger Gatter bedeuten geringeren Stromverbrauch, kleinere Chipfläche und kürzere Laufzeiten.
Compiler-Optimierung	Vereinfachung 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-Abfrageoptimierung	Umschreiben von WHERE-Klausel-Prädikaten in äquivalente, aber kostengünstiger auswertbare Formen.
Formale Verifikation	Kanonische 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

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.

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

Sie können auch unseren KI-Mathematik-Löser GPT ausprobieren, um Ihre mathematischen Probleme durch natürliche Sprachfragen und -antworten zu lösen.

Andere verwandte Tools:

Algebraischer Ausdrucks-Vereinfacher

Basis-Umrechner

Binärrechner

Karnaugh-Diagramm (K-Map) LöserNeu

Linearer Gleichungslöser

Logikgatter SimulatorNeu

Möbius-Funktion-RechnerNeu

Polynom-Faktorisierungs-Rechner

Wahrheitstabellen-GeneratorNeu

Boolesche Algebra Vereinfacher

Boolesche Algebra Vereinfacher

Was der Vereinfacher liefert

Gesetze der booleschen Algebra — Referenz

Spickzettel für die Eingabesyntax

Der Quine-McCluskey-Algorithmus

So verwenden Sie den Boolesche Algebra Vereinfacher

Anwendungsbereiche

FAQ

Andere verwandte Tools:

Erweiterte Rechenoperationen:

Ausgewählte Werkzeuge: