Produktsummenform-Rechner für kanonische Maxterme

Geben Sie die Anzahl der Eingangsvariablen und die Indizes dieser Nullzeilen an. Der Rechner wandelt jeden Index in seine binäre Belegung um, bildet den zugehörigen Maxterm und verknüpft sämtliche Summenterme zu einem kanonischen POS-Ausdruck. Zusätzlich erhalten Sie die kompakte Produkt-von-Maxtermen-Schreibweise, sortierte Indizes, Variablennamen und eine nachvollziehbare Aufschlüsselung jedes einzelnen Terms.

Wandeln Sie Nullzeilen in kanonische Maxterme um

Die kanonische POS-Form beginnt mit den Zeilen der Wahrheitstabelle, in denen die boolesche Funktion null ist. Nummerieren Sie die Zeilen in der üblichen Binärreihenfolge, wobei die erste Variable dem höchstwertigen Bit entspricht, und übermitteln Sie diese Nummern als Maxtermliste. Für jede ausgewählte Zeile ergänzt der Rechner die Binärdarstellung auf die angegebene Variablenzahl und erstellt eine Summe, in der jede Variable genau einmal vorkommt. Ein Nullbit erzeugt die nicht negierte Variable; ein Einsbit erzeugt die negierte Variable, dargestellt durch einen Apostroph. Durch diese Polarität wird die Summe genau bei der betreffenden Belegung null. So ergibt 101 für A, B und C den Term (A' + B + C'). Vor der Ausgabe werden die Indizes sortiert, sodass auch eine ungeordnete Eingabe die übliche aufsteigende kanonische Reihenfolge liefert. Doppelte Indizes werden abgelehnt, weil eine Maxtermliste eine Menge von Tabellenzeilen beschreibt und ein wiederholter Faktor keine zusätzliche logische Information trägt. Die Aufschlüsselung hält Index, aufgefüllte Binärzeile, Literale und vollständigen Summenterm für Ihre Kontrolle zusammen.

Lesen und prüfen Sie das Produktsummenergebnis

Im Hauptausdruck stehen alle Maxterme direkt nebeneinander. Dies bezeichnet die boolesche Multiplikation: Jeder OR-Summenterm in Klammern wird durch AND verknüpft. Daneben erscheint die Schreibweise ΠM mit den sortierten Indizes der Nullzeilen, wie sie in Logikkursen, Spezifikationen, Karnaugh-Diagrammen und digitaler Entwicklungsdokumentation üblich ist. Die Prüfung folgt einem festen Verfahren. Wählen Sie einen aufgeführten Index, weisen Sie dessen Binärbits den Variablen zu und betrachten Sie den passenden Summenterm. Jedes Literal dieses Terms wird null, sodass der Term und damit das gesamte Produkt null werden. Bei einer nicht aufgeführten Zeile ist kein Maxterm so konstruiert, dass er bei dieser vollständigen Belegung verschwindet; alle enthaltenen Summen bleiben eins und das Produkt ergibt eins. Damit bestätigt sich, dass der Ausdruck exakt die angegebene Nullmenge darstellt. Die Variablenreihenfolge bleibt erhalten, da eine Änderung die numerische Bedeutung jeder Tabellenzeile verändern würde. Eigene Namen müssen eindeutige gültige Bezeichner sein und genau der Variablenzahl entsprechen; andernfalls erzeugt der Rechner vorhersehbare Standardnamen.

Nutzen Sie die kanonische POS-Form im Logikentwurf

Eine kanonische Produktsummenform ist eine exakte Darstellung, jedoch nicht zwingend die kleinste Schaltung. Besonders wertvoll ist sie als zuverlässige Verbindung zwischen Wahrheitstabelle und anschließender Optimierung. Bestätigen Sie zunächst die Nullzeilen, erzeugen Sie den POS-Ausdruck und prüfen Sie anhand der einzelnen Terme mögliche Fehler bei Index, Bitreihenfolge oder Negation, bevor Sie vereinfachen. Anschließend können Sie Nullen in einem Karnaugh-Diagramm gruppieren, boolesche Algebra anwenden oder den Ausdruck einem gesonderten Minimierungsverfahren übergeben. Wenn Sie die kanonische neben der minimierten Form aufbewahren, erhalten Prüfende eine rückverfolgbare Referenz dafür, dass die Optimierung die Funktion nicht verändert hat. Das Verfahren unterstützt ebenso aktiv-niedrige Signale, decoderbasierte Entwürfe und die Dokumentation von Testvektoren, weil jeder Maxterm unmittelbar auf eine bestimmte deaktivierte Eingangsbelegung verweist. Eingaben sind auf sechzehn Variablen begrenzt und jeder Index muss im Bereich der zugehörigen Wahrheitstabelle liegen. Die Berechnung ist deterministisch und verwendet weder Netzwerk noch gespeicherten Zustand, Zufall oder Uhrzeit. Im Browser ist sie kostenlos; eine automatisierte API-Ausführung kostet $0.002.