# Boolescher Vereinfacher (Karnaugh-Veitch-Diagramm)

Vereinfacht Boolesche Funktionen zur minimalen DNF: Ausdruck eingeben (A–D, + ODER, · UND, ' NICHT, ≤ 4 Variablen) oder die Minterm-Liste Σm; der Quine-McCluskey-Algorithmus liefert die Primimplikanten, nimmt die wesentlichen dazu und ergänzt eine exakte Minimalüberdeckung; ausgegeben werden die minimale DNF, das Karnaugh-Diagramm in Gray-Code (2–4 Variablen), die kanonische Form Σm und eine Verifikation über alle Belegungen. Klassiker: AB + A'B → B; Σm(0,1,2,4,5,6) (3 Variablen) → B' + C'.

> Kanonische Seite: https://elysiatools.com/de/tools/boolean-algebra-simplifier

- **Kategorie:** Math & Numbers

- **Schlagwörter:** boolesche algebra, karnaugh-diagramm, quine mccluskey, primimplikanten, minimale dnf, logikvereinfachung, minterme, digitale logik, gray-code

## Überblick

Der Boolesche Vereinfacher minimiert Schaltfunktionen mit 2 bis 4 Variablen zu ihrer minimalen disjunktiven Normalform (DNF). Das Tool nutzt den Quine-McCluskey-Algorithmus zur Bestimmung wesentlicher Primimplikanten, generiert das zugehörige Karnaugh-Diagramm im Gray-Code und verifiziert das Ergebnis über alle Belegungen.

## Eingaben

- **Eingabemodus** (select)
- **Boolescher Ausdruck (A–D)** (text): Classic switching-algebra notation: + OR, · or juxtaposition AND, ' or ! NOT, ^ XOR, parentheses. At most 4 distinct variables.
- **Minterm-Liste (durch Komma getrennt)** (text): Used in Minterms mode: the indices where the function is 1, e.g. 0,1,2,4,5,6.
- **Anzahl der Variablen** (select)

## Wann verwenden

- Wenn Boolesche Ausdrücke zur Einsparung von Logikgattern in der Schaltungsentwicklung minimiert werden müssen.
- Wenn eine Wahrheitstabelle oder Minterm-Liste (Σm) in eine minimale disjunktive Form überführt werden soll.
- Wenn manuelle Vereinfachungen oder Karnaugh-Diagramme für Prüfungs- oder Laboraufgaben kontrolliert werden sollen.

## Funktionsweise

- Wählen Sie den Eingabemodus (Ausdruck oder Minterm-Liste) sowie die Variablenanzahl (2, 3 oder 4 Variablen von A bis D).
- Geben Sie den Booleschen Term mit Standardoperatoren (+ für ODER, · für UND, ' oder ! für NICHT) oder als kommagetrennte Liste der Minterm-Indizes ein.
- Das Tool berechnet die kanonische Minterm-Form Σm, ermittelt alle Primimplikanten per Quine-McCluskey und bildet eine exakte Minimalüberdeckung.
- Sie erhalten die minimale DNF, das formatierte Karnaugh-Diagramm in Gray-Code-Anordnung und einen lückenlosen Belegungsabgleich.

## Anwendungsfälle

- Minimierung logischer Bedingungen in SPS- und Embedded-Software zur Senkung von Verarbeitungszyklen.
- Schaltungsentwurf digitaler Hardware zur Reduktion von UND/ODER-Gattern und Transistorflächen.
- Lösung und didaktische Verifikation von Übungsaufgaben der Technischen Informatik und Digitaltechnik.

## Häufig gestellte Fragen

### Welche Operatoren werden im Ausdrucksmodus unterstützt?

Unterstützt werden + (ODER), Multiplikation bzw. Nebeneinanderschreiben (UND), ' oder ! (NICHT), ^ (XOR) sowie runde Klammern.

### Wie viele Variablen können maximal berechnet werden?

Das Tool unterstützt 2 bis 4 Variablen (A, B, C, D) für vollständige Karnaugh-Diagramme und Primimplikanten-Tabellen.

### Was ist der Unterschied zwischen den Eingabemodi?

Im Modus 'Ausdruck' geben Sie eine algebraische Formel ein; im Modus 'Minterme' tragen Sie direkt die numerischen Indizes der 1-Stellen ein.

### Wie ist das Karnaugh-Diagramm strukturiert?

Zeilen und Spalten sind im Gray-Code angeordnet (z. B. 00, 01, 11, 10), sodass benachbarte Zellen sich stets nur in einem Bit unterscheiden.

### Wie wird die Korrektheit der Minimierung sichergestellt?

Das Tool evaluiert den Originalausdruck und die minimierte DNF über alle 2^n Belegungen und bestätigt die Übereinstimmung im Ausgabetext.

## Ähnliche Tools

- [Verdünnungsverhältnis-Konverter (1:X ↔ 1/X ↔ %)](https://elysiatools.com/de/tools/dilution-ratio-converter): Rechnet zwischen den Labor-Schreibweisen für Verdünnungen um: Verhältnis 1:X, Bruch 1/X und Prozent, inklusive Verdünnungsfaktor und Lösungsmittel-/Verdünnungsteile. Unterstützt beide 1:X-Konventionen (X = Gesamteile oder 1 Teil Konzentrat + X Teile Verdünnung); mit Endvolumen werden die Mischvolumina berechnet. Klassiker: 1:5 = 1/5 = 20 %; für 100 mL mischt man 20 mL Konzentrat + 80 mL Verdünnung.
- [Erweiterter euklidischer Algorithmus (ax + by = ggT(a, b))](https://elysiatools.com/de/tools/extended-euclidean-algorithm): Löst die Bézout-Identität a·x + b·y = ggT(a, b) für ganze Zahlen mit beliebigem Vorzeichen: vollständige Tabelle der Divisionsschritte (jede Zeile erfüllt r = a·s + b·t), ggT und kgV. Mit der optionalen rechten Seite c wird das Werkzeug ein Löser für lineare diophantische Gleichungen: Bei ggT | c Partikularlösung und allgemeine Lösung x = x₀ + (b/g)t, sonst klar gemeldete Unlösbarkeit über den ganzen Zahlen. Klassiker: 240 × (−9) + 46 × 47 = 2.
- [Modularer Inversen-Rechner (erweiterter Euklid)](https://elysiatools.com/de/tools/modular-inverse-calculator): Berechnet a⁻¹ mod m mit dem erweiterten euklidischen Algorithmus: liefert die Bézout-Koeffizienten a·x + m·y = gcd(a, m), die vollständige Tabelle der Vorwärtskoeffizienten (jede Zeile erfüllt r = a·s + m·t) und die Verifikation a × a⁻¹ ≡ 1 (mod m). Akzeptiert RSA-große Zahlen (bis 10⁵¹²) und meldet deutlich, wenn gcd(a, m) ≠ 1 kein Inverses zulässt. Klassiker: in RSA ist 17⁻¹ mod 3120 = 2753.
- [Modulararithmetik-Rechner (Addition / Subtraktion / Multiplikation / Inverses / Potenz)](https://elysiatools.com/de/tools/modulo-arithmetic-converter): Berechnet Addition, Subtraktion, Multiplikation, Inverses und schnelle Potenzierung modulo m mit exakter BigInt-Arithmetik (bis 10¹⁸). Die Grundoperationen zeigen die schrittweise Reduktion und liefern den kanonischen Repräsentanten aus \[0, m−1\]; das Inverse nutzt den erweiterten euklidischen Algorithmus und meldet gcd(a, m) ≠ 1 deutlich; die schnelle Potenz zeigt die Quadriere-und-multipliziere-Tabelle zu den Bits des Exponenten. Klassiker: 17⁵ mod 13 = 10; 5⁻¹ mod 18 = 11.
- [Wahrheitstabellen-Generator](https://elysiatools.com/de/tools/truth-table-generator): Erzeugt die vollständige Wahrheitstabelle eines Booleschen Ausdrucks (bis 6 Variablen, 64 Zeilen): unterstützt + ODER, ^ XOR, ·/*/& oder Juxtaposition UND, !/~/' NICHT und Klammern; die Variablen sind alphabetisch sortiert, jede Zeile zeigt die Belegung und den Wert F, zusätzlich die kanonischen Formen Σm (Minterme) und ΠM (Maxterme). Klassiker: AB + A'C hat Σm(1,3,6,7); A ^ B ^ C ist die ungerade Paritätsfunktion Σm(1,2,4,7).
- [Winkelgeschwindigkeits-Umrechner (rad/s / rpm / deg/s / Hz)](https://elysiatools.com/de/tools/angular-velocity-converter): Winkelgeschwindigkeits-Umrechnung: rad/s (SI-Basis) ↔ U/min (1=2π/60 rad/s) ↔ Grad/s (1=π/180 rad/s) ↔ Hz (1 Umdrehung/s=2π rad/s). Hz hier = Umdrehung pro Sekunde. Umrechnung über rad/s mit allen vier Äquivalenten. Ref.: Vinyl 33⅓ U/min≈3,49 rad/s, Leerlauf ~800 U/min≈83,8 rad/s.
- [Kanalquerschnitt-Rechner (Volumenstrom und Geschwindigkeit)](https://elysiatools.com/de/tools/duct-size-calculator): Dimensioniert einen Kanal aus Volumenstrom Q und Auslegungsgeschwindigkeit v: Fläche A=Q/v. Rund: Durchmesser D=√(4A/π). Rechteckig mit Verhältnis r=a/b: b=√(A/r), a=r·b, äquivalenter Durchmesser ASHRAE D_äq=1,30·(a·b)^0,625/(a+b)^0,25. Volumenstrom in m³/s/m³/h/CFM; Ergebnisse in mm und Zoll.
- [Dauerfestigkeitsrechner (Goodman/Gerber/Soderberg)](https://elysiatools.com/de/tools/fatigue-limit-calculator): Sicherheitsfaktor bei Schwingfestigkeit mit Mittelspannungskorrektur. Bei σ_a, σ_m und σ_uts, σ_-1, σ_y liefern drei klassische Kriterien: modifizierte Goodman (linear, konservativ), Gerber (parabolisch, besser für zähe Werkstoffe), Soderberg (über σ_y, am konservativsten). Der kleinste Wert ist maßgebend; additionally ob der Punkt innerhalb der Goodman-Linie liegt.

## Beispiele

- [Web Python Bildverarbeitung Beispiele](https://elysiatools.com/de/samples/web-image-processing-python): Web Python Bildverarbeitungsbeispiele mit PIL/Pillow einschließlich Lesen, Speichern, Skalieren und Formatkonvertierung
- [Android Java Bildverarbeitungsbeispiele](https://elysiatools.com/de/samples/android-image-processing-java): Android Java Bildverarbeitungsbeispiele einschließlich Lesen/Schreiben, Skalierung und Formatkonvertierung
- [Android Kotlin Bildverarbeitungsbeispiele](https://elysiatools.com/de/samples/android-image-processing-kotlin): Android Kotlin Bildverarbeitungsbeispiele einschließlich Lesen/Schreiben, Skalierung und Formatkonvertierung
- [Web Rust Bildverarbeitungsbeispiele](https://elysiatools.com/de/samples/web-image-processing-rust): Web Rust Bildverarbeitungsbeispiele einschließlich Lesen/Schreiben, Skalierung und Formatkonvertierung