Die Ringsummennormalform (kurz RSNF oder RNF) (auch: Algebraische Normalform (kurz ANF), Reed-Muller-Entwicklung, Ringsummenexpansion oder Schegalkinsches Polynom) ist eine Darstellungsform einer Booleschen Funktion. Diese Normalform verwendet ausschließlich die Operatoren XOR (Kontravalenz) und UND (Konjunktion).
Definition Bearbeiten
Die beiden Operatoren Kontravalenz und Konjunktion bilden eine vollständige Basis der booleschen Funktionen. Damit wird die folgende Definition möglich.
Eine Formel ist in Ringsummennormalform, wenn sie eine Kontravalenz () von Konjunktionen () der Eingabevariablen und der Konstanten ist. Eine Formel in RSNF hat folgende Form:
wobei für jede Teilmenge ist.
Berechnung der RSNF Bearbeiten
Man geht von einer orthogonalen disjunktiven Normalform (also einer disjunktiven Normalform, deren Konjunktionen alle gegenseitig disjunkt sind, d. h. 0 ergeben) aus. Das kann z. B. auch die kanonisch disjunktive Normalform sein. In dieser ersetzt man den Disjunktionsoperator durch den Antivalenzoperator (Ringsumme), was aufgrund der Orthogonalität möglich ist. Danach schreibt man die Negationen in die (geklammerte) Antivalenz mit 1 um. Anschließend „multipliziert“ man unter besonderer Beachtung der Rechenregel für die Antivalenz aus.
Beispiel Bearbeiten
Die disjunktive Normalform kann wie folgt in ihre RSNF umgeformt werden:
Orthogonalisierung (z. B. mit Hilfe eines Karnaugh-Planes):
Ersetzen der Disjunktion durch die Antivalenz:
Umschreiben der Negation:
Ausmultiplizieren:
Durch „Wegstreichen“ von jeweils zwei gleichen Termen erhält man nach dem Umsortieren schließlich:
Folgerungen Bearbeiten
- Jede beliebige boolesche Funktion kann in Ringsummennormalform überführt werden.
- Die Ringsummennormalform einer booleschen Funktion ist (bis auf die Reihenfolge) eindeutig.
Literatur Bearbeiten
- Ingo Wegener: The complexity of Boolean functions. Wiley-Teubner, 1987, ISBN 3-519-02107-2, S. 6 (Online-Ausgabe)
- Präsentation der Uni Duisburg