Direkt zum Inhalt

Lexikon der Mathematik: Methode des iterierten Konsensus

Methode zur Berechnung der vollständigen Summe einer vollständig spezifizierten Booleschen Funktionf.

Eingabe des Verfahrens ist ein Boolesches Polynom von f. Das Verfahren beruht auf dem folgenden Satz:

Ein Boolesches Polynom p einer Booleschen Funktion f ist genau dann die vollständige Summe von f, wenn

(a) keinBoolesches Monom von p von einem anderen Booleschen Monom von p überdeckt (Überdeckung einer Booleschen Funktion) wird, und

(b) der Konsensus (Konsensus-Regel) von je zwei Monomen q und r von p von wenigstens einem Booleschen Monom von p überdeckt wird, sofern der Konsensus von q und r überhaupt definiert ist.

  • Die Autoren
- Prof. Dr. Guido Walz

Schreiben Sie uns!

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.

Partnerinhalte

Bitte erlauben Sie Javascript, um die volle Funktionalität von Spektrum.de zu erhalten.