Lexikon der Mathematik: implizite Berechnung der Primimplikanten
Methode zur Berechnung der Menge der Primimplikanten einer vollständig spezifizierten Booleschen Funktion, die auf dem folgenden Lemma beruht:
Es sei f : {0, 1}n → {0, 1} eine über den Booleschen Variablenx1, …, xndefinierte Boolesche Funktion. Dann ergibt sich die Menge P(f) der Primimplikanten von f durch
Hierbei beschreibt der Ausdruck l ⊗ M für ein Boolesches Literal l und eine Menge M von Booleschen Monomen die Menge {l ∧ m; m ∈ M}.
Die Methode wird im Rahmen der zweistufigen Logiksynthese eingesetzt. Die jeweiligen Primimplikantenmengen werden implizit (implizite Darstellung einer endlichen Menge) durch BDDs dargestellt, sodaß die Laufzeit der Berechnung der Menge der Primimplikanten einer Booleschen Funktion f nicht mehr direkt von der Anzahl der Implikanten von f, sondern nur noch von der Größe dieser impliziten Darstellungen abhängt.
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.