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.
Copyright Springer Verlag GmbH Deutschland 2017
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.