Porezkisches Gesetz
mathematischer Satz
Das Porezkische Gesetz (englisch Poretzky's law) ist ein Satz in der booleschen Algebra, einem der Teilgebiete der Mathematik, der nach dem russischen Mathematiker Platon Sergejewitsch Porezki benannt ist. Der Satz gibt eine charakteristische Eigenschaft des Nullelements einer booleschen Algebra wieder.[1][A 1]
Darstellung des Gesetzes
BearbeitenPorezkis Gesetz lässt sich folgendermaßen formulieren:[1]
- Gegeben seien eine boolesche Algebra .[A 2] Dann gilt für alle Elemente die Äquivalenz:
- dann und nur dann, wenn die Gleichung
- erfüllt ist.
- dann und nur dann, wenn die Gleichung
Literatur
Bearbeiten- Joseph Gallian: Contemporary Abstract Algebra. D. C. Heath and Company, Lexington (Mass.), Toronto 1986, ISBN 0-669-09325-4.
- Birkhoff-MacLane: Algebra, Chelsea, ISBN 0-8218-1646-2
Weblinks
Bearbeiten- M. Barile: Poretsky‘s Law (MathWorld)
Anmerkungen
Bearbeiten- ↑ Im englischsprachigen Raum findet man als Transkription von Porezkis Namen aus dem Russischen ins Englische sowohl „Poretzky“ als auch „Poretsky“; vgl. Artikel über Porezki in der englischsprachigen Wikipedia!
- ↑ Für ist das Komplement von .
