„Inversionssatz von Shannon“ – Versionsunterschied
Zur Navigation springen
Zur Suche springen
[gesichtete Version] | [ungesichtete Version] |
Inhalt gelöscht Inhalt hinzugefügt
Enlil2 (Diskussion | Beiträge) K kat |
Formulierung des Satzes hinzugefügt |
||
Zeile 1: | Zeile 1: | ||
Der '''Inversionssatz von Shannon''' ist ein bedeutender, von [[Claude Shannon]] stammender Satz in der [[Boolesche Algebra|Booleschen Algebra]], der eine Verallgemeinerung der [[De Morgansche Gesetze|De Morganschen Gesetze]] für algebraische Ausdrücke mit Booleschen Größen darstellt. Demnach kann die Inversion eines jeden solchen Ausdrucks, sofern er nur mittels der Operatoren ∧, ∨ und ¬ (d.h. Konjunktion, Disjunktion und Negation) gebildet wurde, erreicht werden, indem man ∧ und ∨ vertauscht und jedes Literal negiert. Dabei werden Literale als Boolesche Größen A, B, C, ... sowie ¬A, ¬B, ¬C, ... verstanden, also als nicht zusammengesetzte einfache oder negierte Größen. |
Der '''Inversionssatz von Shannon''' ist ein bedeutender, von [[Claude Shannon]] stammender Satz in der [[Boolesche Algebra|Booleschen Algebra]], der eine Verallgemeinerung der [[De Morgansche Gesetze|De Morganschen Gesetze]] für algebraische Ausdrücke mit Booleschen Größen darstellt. Demnach kann die Inversion eines jeden solchen Ausdrucks, sofern er nur mittels der Operatoren ∧, ∨ und ¬ (d.h. Konjunktion, Disjunktion und Negation) gebildet wurde, erreicht werden, indem man ∧ und ∨ vertauscht und jedes Literal negiert. Dabei werden Literale als Boolesche Größen A, B, C, ... sowie ¬A, ¬B, ¬C, ... verstanden, also als nicht zusammengesetzte einfache oder negierte Größen. |
||
=== Formulierung des Satzes === |
|||
Sei <math>f:X^n\rightarrow X</math> eine [[Boolesche Funktion]] auf <math>n\in \mathbb{N}</math> Literalen <math>x_1\in X_1,...,x_n\in X_n</math> und dem Operatorentupel <math>(\or,\and)</math>. Dann gilt: |
|||
<math>\overline{f(x_1, x_2, ..., x_n, \or, \and)} = f(\overline{x_1}, \overline{x_2}, ..., \overline{x_n}, \and, \or)</math><ref>{{Literatur|Autor = Prof. Dr.-Ing. Roland Woitowitz, Prof. Dr.-Ing. Klaus Urbanski|Titel = Digitaltechnik - Ein Lehr- und Übungsbuch|Herausgeber =|Sammelwerk =|Band =|Nummer =|Auflage = 5., neu bearbeitete und erweiterte Auflage|Verlag = Springer Verlag|Ort =|Jahr = 2007|Seiten = 31|ISBN = 978-3-540-73672-1}}</ref> |
|||
[[Kategorie:Algebra]] |
[[Kategorie:Algebra]] |
||
[[Kategorie:Mathematische Logik]] |
[[Kategorie:Mathematische Logik]] |
Version vom 24. März 2016, 17:27 Uhr
Der Inversionssatz von Shannon ist ein bedeutender, von Claude Shannon stammender Satz in der Booleschen Algebra, der eine Verallgemeinerung der De Morganschen Gesetze für algebraische Ausdrücke mit Booleschen Größen darstellt. Demnach kann die Inversion eines jeden solchen Ausdrucks, sofern er nur mittels der Operatoren ∧, ∨ und ¬ (d.h. Konjunktion, Disjunktion und Negation) gebildet wurde, erreicht werden, indem man ∧ und ∨ vertauscht und jedes Literal negiert. Dabei werden Literale als Boolesche Größen A, B, C, ... sowie ¬A, ¬B, ¬C, ... verstanden, also als nicht zusammengesetzte einfache oder negierte Größen.
Formulierung des Satzes
Sei eine Boolesche Funktion auf Literalen und dem Operatorentupel . Dann gilt:
- ↑ Prof. Dr.-Ing. Roland Woitowitz, Prof. Dr.-Ing. Klaus Urbanski: Digitaltechnik - Ein Lehr- und Übungsbuch. 5., neu bearbeitete und erweiterte Auflage. Springer Verlag, 2007, ISBN 978-3-540-73672-1, S. 31.