Das Porezkische Gesetz () 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.Joseph A. Gallian: Contemporary Abstract Algebra. 1986, S. 420Im 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!
Darstellung des Gesetzes Porezkis Gesetz lässt sich folgendermaßen formulieren: Gegeben seien eine boolesche Algebra .Für ist das Komplement von . Dann gilt für alle Elemente die Äquivalenz: dann und nur dann, wenn die Gleichung
erfüllt ist.
Literatur
Birkhoff-MacLane: Algebra, Chelsea, ISBN 0-8218-1646-2
Weblinks
M. Barile: Poretsky‘s Law (MathWorld)
Anmerkungen
Einzelnachweise
Kategorie:Boolesche Algebra Kategorie:Satz (Mathematik)