Boolescher Vereinfacher (Karnaugh-Veitch-Diagramm)

Boolescher Vereinfacher (Karnaugh-Veitch-Diagramm) | Kostenloses Online-Tool | Elysia Tools

Leitfaden zur Tool-Nutzung

Erfahren Sie, wann dieses Tool passt, was es unterstützt und wie Nutzer es anwenden.

Wichtige Fakten

Kategorie: Math & Numbers
Eingabetypen: select, text
Ausgabetyp: text
Sample-Abdeckung: 4
API bereit: Ja

Ü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.

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.

So funktioniert es

1Wählen Sie den Eingabemodus (Ausdruck oder Minterm-Liste) sowie die Variablenanzahl (2, 3 oder 4 Variablen von A bis D).
2Geben Sie den Booleschen Term mit Standardoperatoren (+ für ODER, · für UND, ' oder ! für NICHT) oder als kommagetrennte Liste der Minterm-Indizes ein.
3Das Tool berechnet die kanonische Minterm-Form Σm, ermittelt alle Primimplikanten per Quine-McCluskey und bildet eine exakte Minimalüberdeckung.
4Sie 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.

Beispiele

1. Vereinfachung per Absorptionsgesetz

Informatikstudent

Hintergrund

In einer Übungsaufgabe zur Schaltalgebra soll gezeigt werden, dass der Term AB + A'B unabhängig von A ist.

Aufgabe

Manuelle Termumformungen sollen schnell auf Korrektheit und Äquivalenz überprüft werden.

Verwendung

Wählen Sie den Modus 'Ausdruck', geben Sie 'AB + A'B' ein und wählen Sie 2 Variablen aus.

inputMode: expression, expression: AB + A'B, varCount: 2

Ergebnis

Das Tool gibt die minimale DNF 'F = B', die Minterm-Form Σm(1, 3) und das 2x2-Karnaugh-Diagramm mit vollständiger Verifikation aus.

2. Minimierung aus einer 3-Variablen-Wahrheitstabelle

Hardware-Entwickler

Hintergrund

Eine Sensorauswertung liefert bei 6 von 8 Eingangskombinationen ein High-Signal.

Aufgabe

Aus den Minterm-Indizes soll direkt die minimale Logikschaltung ohne manuelle Termexpansion abgeleitet werden.

Verwendung

Wählen Sie den Modus 'Minterme (Σm)', tragen Sie '0,1,2,4,5,6' ein und setzen Sie die Variablenanzahl auf 3.

FAQ

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.

inputMode: minterms, mintermList: 0,1,2,4,5,6, varCount: 3

Dieses Tool ausführen

Beispiele zu diesem Tool

Mit verwandten Tools und Themen fortfahren

Erfahren Sie, wann dieses Tool passt, was es unterstützt und wie Nutzer es anwenden.

Wichtige Fakten

Überblick

Wann verwenden

So funktioniert es

Anwendungsfälle

Beispiele

1. Vereinfachung per Absorptionsgesetz

2. Minimierung aus einer 3-Variablen-Wahrheitstabelle

FAQ

Web Python Bildverarbeitung Beispiele

Android Java Bildverarbeitungsbeispiele

Android Kotlin Bildverarbeitungsbeispiele

Web Rust Bildverarbeitungsbeispiele

Verdünnungsverhältnis-Konverter (1:X ↔ 1/X ↔ %)

Erweiterter euklidischer Algorithmus (ax + by = ggT(a, b))

Modularer Inversen-Rechner (erweiterter Euklid)

Modulararithmetik-Rechner (Addition / Subtraktion / Multiplikation / Inverses / Potenz)