Diskussion:Boolesche Algebra

aus Wikipedia, der freien Enzyklopädie

Wechseln zu: Navigation, Suche

Gibt es ein algebraisches Symbol für XOR?

Ich hab schon das Symbol \oplus dafuer gesehen, weiss aber nicht, ob das der allgemeine Standard ist. --SirJective 13:13, 31. Okt 2003 (CET)
Das OPlus ist in der Schreibweise mit Plus als OR und Punkt als AND vorgesehen. --KHood 11:07, 18. Mär. 2007 (CET)

Seltsam. Im Text werden nur Kästchen angezeigt statt das v und das umgekehrte . Editiere ich diese Seite (wie jetzt in diesem Moment), kann man die Zeichen sehen. Benutze IE 5.5.

Inhaltsverzeichnis

[Bearbeiten] neutrale Elemente vertauscht?

es steht im Artikel:

1 ist das neutrale Element von ∨ (OR), es ist eindeutig bestimmt.
0 ist das neutrale Element von ∧ (AND), es ist eindeutig bestimmt.

kann doch nicht ganz stimmen, oder?
es müsste so sein:
a AND 1 = a ==> neutrales Element von AND ist 1
a OR 0 = a ==> neutrales Element von OR ist 0

also genau vertauscht...

Oder irre ich mich jetzt total?

Nein, Du hast vollkommen recht. Das neutrale Element von AND ist 1, das von OR ist 0.

Ich kann das im Text leider nicht unterscheiden, da für AND und OR das gleiche Kästchen steht. Pard 22:59, 21. Apr 2005 (CEST)

[Bearbeiten] Algebra vs. Verband

Kann man wirklich eine boolesche Algebra und einen booleschen Verband in einen Topf schmeißen? Stern !? 20:23, 12. Sep 2004 (CEST)

Nein, sicher nicht! Außerdem hat Boole zu den genannten Regeln nur zum Teil beigetragen. Ausdrücklich genannt in seinem Buch "The Law of Thougt" ist nur das Gesetz der Verträglichkeit oder Distributivität.
Aber damit war er auch nicht der erste. Dieses Axiom wurde schon vorher von Hermann Grassmann in seiner "Linealen Ausdehnungslehre" eingeführt und zwar als Bestandteil der Vektorraum-Axiome. Der größte Beitag von Boole zur Boolschen Algebra war wohl die Namensgebung. 129.247.167.235 13:54, 16. Sep 2004 (Unterschrift nachgetragen SirJective)
Von mir aus kann der Artikel gern aufgetrennt werden in boolesche Algebra und boolescher Verband. Was Boole selbst gemacht hat, weiss ich nicht, hab damals nur sortiert was schon dastand und mit dem englischen Artikel gemischt. Wenn die Artikel getrennt werden, sollte aber der Teil ueber boolesche Algebra (im engeren Sinne) ausgebaut werden, da er hier doch recht kurz ist. --SirJective 17:05, 4. Okt 2004 (CEST)


Boolscher Verband und Boolsche Algebra ist das selbe mathematische Objekt. Sie unterscheiden nur dadurch, dass wir einem Boolschen Verband von einer geordneten Menge ausgehen und gewisse Eigenschaften fordern. Eine Boolsche Algebra hingegen wir als eine Menge mit zwei! zweistelligen Verknuefungen definiert. Hier hat man den klassischen Fall dass das selbe Mathematische verschieden benannt wurde, weil unterschiedliche Forscher das Objekt erforscht haben. Was soll den bitteschoen das Kriterium sein was in den einen Artikel und was in den anderen Artikel kommt? Ich sehe keinen Grund ausser die Historie was fuer eine Aufspittung spricht. --Matthy 16:26, 11. Dez 2004 (CET)
Ich weiß nicht mehr genau, was ich im Oktober wollte, aber vermutlich bezog ich mich mit "boolesche Algebra im engeren Sinne" auf die zweielementige: Dafür, dass sie "Die wichtigste boolesche Algebra" ist, ist der Abschnitt recht kurz. --SirJective 21:39, 21. Apr 2005 (CEST)

[Bearbeiten] Welche Zeichen sollten für die Operatoren verwendet werden?

Nach der Bildschirmanzeige meines PCs zu urteilen, ist dieser schöne Artikel wegen der Darstellung der Operatoren ein Ärgernis, wodurch er nahezu einem Schuß in den Ofen gleichkommt; beide Operatoren werden bei mir als kleine Quadrate dargestellt. Da ich keinerlei Ausnahme-Einstellungen im PC habe, ist es doch wahrscheinlich, dass viele User dieses Problem haben und daher irritiert aussteigen. Wäre es nicht sinnvoller, die Notation der Mathematiker zu nehmen (so hat man mir 1973 die Boolesche Algebra beigebracht): AND = ., OR = +, NOT(A) = A' ??? Ein weiterer Grund: Im Vergleich zur gewohnten Algebra gibt es doch nur einen Unterschied: 1+1=1. Weil eben mehr als 1 nicht möglich ist. Dann wäre die verallgemeinernde Verwendung der B.A. in der Wahrscheinlichkeitsrechnung leichter darstellbar: Statt boolscher Dichotomie 0,1 verwendet man in der Wahrscheinlichkeitsrechnung Werte von 0 bis 1 , usw. Pard 20:06, 21. Apr 2005 (CEST)

Ich stimme dir zu, dass die Operatorzeichen "∧, ∨, ¬" - wie viele mathematische HTML-Zeichen - den Nachteil haben, dass sie auf verschiedenen Systemen verschieden oder gar nicht angezeigt werden. Hier im Edit-Fenster werden sie bei mir wie erwartet dargestellt (analog zu \land,\lor,\neg), ebenso in der Vorschau. Im Artikel dagegen erscheint anstelle des UND ein kleiner Kreis.
Gegen die Verwendung von "+" und "." (oder "*") spricht mMn die Symmetrie der Operationen (speziell die gegenseitige Distribution), die besser durch die symmetrischen Operatoren "\land" und "\lor" repräsentiert wird. Ich schlage daher vor, dem Vorbild des englischen Artikels zu folgen und diese beiden TeX-Zeichen zu verwenden. --SirJective 21:39, 21. Apr 2005 (CEST)
Mir ist alles recht, was bei mir zwei unterscheidbare Symbole anzeigt ;-)Pard 22:47, 21. Apr 2005 (CEST)
Done. (Ich hoffe, ich habe alle Quadrate richtig geraten...)--Gunther 17:09, 22. Apr 2005 (CEST)
Wesentliche Verbesserung, danke. — Martin Vogel 鸟 17:26, 22. Apr 2005 (CEST)

[Bearbeiten] Logik

Die Boolesche Algebra wiederspricht meiner Meinung nach sich selbst.

Wenn Du besser ausführst, was du an der Booleschen Logik / Algebra nicht ganz verstanden hast, könnten wir dies möglicherweise klären. Boole wiederspricht sich nämlich keinesfalls selber. Eine präzisere Ausführung währe wünschenswert. --ZOiDberg 20:14, 12. Dez 2005 (CET)
Ein ziemlich starker Hinweis, dass die Boole'sche Algebra doch nicht so widersprüchlich ist wie gedacht, ist, dass dein Rechner, Browser, Internet funktioniert, deren Basis im wesentlichen elektronische Realisierungen von NAND- und NOR-Gattern sind. --FotoFux 11:41, 12. Jul. 2008 (CEST)

[Bearbeiten] Ergänzung

So wie ich das sehe, fehlen zwei Boolesche Gesetze, ich weiß nur nicht ob diese wirklich zur Absorption gehören;

a and not a = 0
a or not a = 1
a and 1 = a
a or 0 = a

(ich würde mich - wenn es keiner direkt in den Artikel schreibt - natürlich an Eure "Und"/"Oder" Konvention halten) --ZOiDberg 20:22, 12. Dez 2005 (CET)


Das Shannonsche Gesetz fehlt auch, obwohl der oben erwähnt wird. Ich gugg mal ob ich das verständlich verfasst krieg und liefer dann demnächst 'nen Entwurf. --XaosSnog 12:25, 1. Okt. 2008 (CEST)

Von "auch" kann nicht die Rede sein, denn obige Gesetze sind mit den Punkten (9), (10) im aktuellen Artikel abgedeckt. Wenn ich das richtig verstehe, sagt das Schannonsche Gesetz einfach, dass \neg(a \land b \land \dots) = \neg a \lor \neg b \lor \dots, was sich trivial durch Induktion aus den De'Morganschen Gesetzen ableiten lässt. Wenn es dazu keine einschlägigen Quellen gibt denke ich nicht, dass wir es hier erwähnen müssen. --Drizzd 16:21, 1. Okt. 2008 (CEST)

[Bearbeiten] Anwendung

Guter Artikel, aber Hinweise auf die Anwendung fehlen. Steuerung von Maschinen und Anlagen, speicherprogrammierbare Steuerung und für viele anschaulich UND = Serienschaltung ODER = Parallelschaltung usw.

--Kölscher Pitter 18:24, 9. Mär 2006 (CET)


Nö ;) Der Artikel beschäftigt sich mit den "Rechenregeln". Das was du suchst findet man bspw. unter "Konjunktion" usw. 82.97.141.172 22:03, 11. Apr 2006 (CEST)

Vielleicht ist ja ein kurzer Hinweis auf die betreffenden Seiten ein guter Kompromiss --132.230.166.76 15:36, 13. Nov. 2006 (CET)

[Bearbeiten] Gesetze auf booleschen Algebren

Ich frage mich, ob dieser Abschnitt nicht redundant ist, denn das alles steht eigentlich schon im Abschnitt Definition? 84.156.56.161 14:45, 31. Jul 2006 (CEST)

[Bearbeiten] Abwandlungen

Gibt es auch ähnliche math. Objekte, bei denen z. B. die Komplemente nicht existieren oder die Absorptionsgesetze nicht streng gelten müssen? Dann wäre ich über einen Link zu den entsprechenden Artikeln dankbar, z. B. so wie beim Artikel Magma (Mathematik). --132.230.166.76 15:37, 13. Nov. 2006 (CET)

ja, z.B. die Verallgemeinerung Heytingverband. (s. en:Heyting algebra)-- Claviceps purpurea 16:01, 29. Mär. 2007 (CEST)

[Bearbeiten] Absorption?

Also, was hier als Absorption aufgeführt ist, kenne ich in der abstrakten Algebra als Adjunktion bzw. Adjunktivität: a * (a # c) = a. Als Absorption kenne ich die Verknüpfung mit einer Konstanten, wobei diese die Variable absorbiert, z.B. a*0 = 0, im Gegensatz zum neutralen Element, wo die Variable das Element "absorbiert": a + 0 = a. Ich hatte den Artikel nach diesen Begriffen etwas aufgeräumt. Nun wurde der Eintrag zur Adjunktivität erneut durch Absorption ersetzt. Wäre schön, wenn wir uns auf ein Vokabular einigen könnten. Mein Vorschlag (siehe auch dtv-Atlas Mathematik, e ist ein einzelnes Element, a eine Variable):

Neutralität: a * e = a

Absorption: a * e = e

Idempotenz: a * a = a

Komplement: a * -a = e

Adjunktivität: a * (a # b) = a (Der vorstehende nicht signierte Beitrag – siehe dazu Hilfe:Signatur – stammt von Marathi (Diskussion • Beiträge) )

Hallo!
Die Bezeichnung Absorptionsgesetzt findet man für beides, a*e=a und a*(a#b)=a (z.B. gleich von den ersten beiden Google-Suchergebnissen verwendet [1] die Bezeichnung für beide, [2] nur für die derzeit im Artikel so bezeichneten Gesetze. Gefühlsmäßig hört man den Begriff Adjunktivität derzeit seltener – Google liefert anscheinend nur eine Fundstelle [3] – (innerhalb der Wikipedia wird sogar viel öfter der Begriff Absorption genannt, z.B. Hierarchie_mathematischer_Strukturen#Strukturen_mit_zwei_inneren_Verkn.C3.BCpfungen:_Verb.C3.A4nde.2C_Mengenalgebren_u..C3.A4., aber gerade wenn es mehrere Begrifflichkeiten gibt, kann und soll man natürlich gerne alle erwähnen.
Viele Grüße, --GottschallCh 18:55, 15. Feb. 2007 (CET)

Um anderen ähnliche Kopfschmerzen wie mir bei der Interpretation der Absorption zu ersparen: Die Absorption basiert darauf, dass UND-Verknüpfungen mit 0/falsch bzw. ODER-Verknüpfungen mit 1/wahr nicht weiter ausgewertet werden müssen . 84.173.228.175 22:08, 19. Mär. 2007 (CET)

Es gibt auch noch die Bezeichnung "Verschmelzung" für "Adjunktivität" bzw. "Absorption". "Absorption" ist dabei am schlechtesten, denn die "Extremalgesetze" sind tatsächlich Absorptionsgesetze, weil Elemente, die wie 0 und 1 diese erfüllen, absorbierende Elemente heißen! --RP 19:39, 17. Jan. 2008

[Bearbeiten] quantorenfreie Definition

Man kann bekanntlich eine boolesche Algebra auch quantorenfrei (ohne Existenzquantor) definieren, so dass die Neutralelemente und die Negation als Operatoren vorausgesetzt werden. Das wäre noch übersichtlicher und m. E. vorzuziehen. Die Äquivalenz zum komplementären distributiven Verband bliebe bestehen.--Wilfried Neumaier 21:19, 20. Feb. 2007 (CET)

Ich fände die Definition auch übersichlicher, wenn sie wie im englischen Artikel formuliert wäre, etwa folgenden Sinn: "Eine boolesche Algebra ist eine Menge A mit zwei auf ihr definierten zweistelligen Verknüpfungen ∧ und ∨ sowie zwei [optional: verschiedenen] Elementen 1 und 0, sodass für alle Elemente x, y, z aus A folgende Axiome zutreffen" [Rest wie gehabt]. Viele Grüße, --GottschallCh 11:50, 21. Feb. 2007 (CET)

Hallo, ich habe eben die Sache optimiert durch das äquivalente Peano-Axiomensystem, das alle Wünsche befriedigt. Ich denke optimaler geht es nicht, und zugleich historisch hundertprozentig treu numeriert.--Wilfried Neumaier 12:13, 21. Feb. 2007 (CET)

[Bearbeiten] Charakteristik 2?

Die Behauptung, jeder boolesche Ring habe die Charakteristik 2 ist nicht ganz richtig, weil er eine Ausnahme hat: den einelementigen Nullring mit Charakteristik 1, bei dem 1=0 gilt. Dieser "entartete" Ring ist nach den Definitionen in Wikipedia möglich. Anderswo (z.B: Meschkowski, Mathemtisches Begriffswörterbuch) werden daher Ringe als mindestens zweielementig definiert, was sicher nicht mathematisch elegant ist und hier nicht übernommen werden muss. Der Problemfall sollte aber einkalkuliert werden. Es gibt dann natürlich auch die entartete boolesche Algebra {0}.--Wilfried Neumaier 09:12, 21. Feb. 2007 (CET)

[Bearbeiten] Axiome

Irgendwie dachte ich immer, dass die Axiome nur Assoziativität, Distributivität, Kommutativität seien. --Philipendula 20:56, 5. Mai 2007 (CEST)

Das sind Standardaxiome für sehr verschiedene Zwecke; man spricht hier grob von kommutativer Algebra, die viele Anwendungsgebiete hat, unter anderem in den Zahlenbereichen und auch in der Logik. Schon für die sehr elementare klassische Logik reichen diese Axiome aber nicht aus; sie sagen zum Beispiel gar nichts über die Negation, mit der man ja auch logisch rechnen können muss und Rechenregeln (Axiome) braucht.--Wilfried Neumaier 18:01, 8. Mai 2007 (CEST)

Müsste x \wedge y im Boole'schen Ring nicht als x + y + xy interpretiert werden? Für x wahr und y wahr wäre nämlich sonst: 1 + 1 − 1 = 0 − 1 = 0 + 0 = 0, was ja wohl nicht der Bedeutung des inklusiven Oders entspricht.

Na gut, die Negation als inverse Operation kann man ja mit dazu nehmen. Aber alle anderen Rechenregeln sind aus den Axiomen abgeleitet. So wie das momentan im Artikel steht, ist es Unsinn. --Philipendula 10:21, 10. Mai 2007 (CEST)

Ganz recht, da hat jemand am 13. April im Artikel herumgemurkst. Ich mache das wieder rückgängig.--Wilfried Neumaier 17:37, 10. Mai 2007 (CEST)

[Bearbeiten] DIN-Norm für Boolesche Algebra

Kennt jemand die Norm, in der die Booleschen Symbole genormt sind?

nö

[Bearbeiten] Mathematiker aus Knetmasse?

ZITAT: "(...) Ihre heutige Form entstand aber erst durch Umformung und Erweiterung anderer Mathematiker wie (...)" - ?

Na, das wäre ja doll! Vorschlag:

"Ihre heutige Form verdankt sie der Weiterentwicklung durch Mathematiker wie (...)"

- greetz: joe average, 10.8.2007

[Bearbeiten] Schaltalgebra und Boolesche Algebra

Der Schaltalgebra bezeichnet sich selbst als nahezu identisch mit der Booleschen Algebra. Darum wäre es logisch wenn das umgekehrt der Artikel Boolesche Algebra tun würde, danke --mik81 17:43, 17. Dez. 2007 (CET)

nahezu identisch stimmt nicht, denn die Schaltalgebra ist eine Anwendung der zweiwertigen booleschen Algebra. Der Link ist jetzt richtig plaziert.--Wilfried Neumaier 00:34, 18. Dez. 2007 (CET)
Vielleicht hast Du auch noch Zeit für was anderes. Unter Portal Diskussion:Informatik#Logische Verknüpfung habe ich eine Grafik erstellt, die die Verwirrungen um das Thema Verknüpfung lüftet. --mik81 18:45, 18. Dez. 2007 (CET)

[Bearbeiten] Füllwortorgie

Mehr Füllwörter habe ich selten in einem Artikel lesen dürfen. Glaube Mathe-Menschen gerne das sie sich selbst für super schlaue und toll studierte Persönchen halten, aber hey, belästigt Dritte nicht mit euren vermeintlichen Wortkompetenzen.

"Eine boolesche Algebra ist ein distributiver komplementärer Verband." - Suuuuuper

Ausserdem fehlt dort ein Komma oder der/die Autoren sollten sich nochmal mit Flexion befassen.


Gruß! (Der vorstehende nicht signierte Beitrag – siehe dazu Hilfe:Signatur – stammt von 217.115.75.231 (Diskussion • Beiträge) 18:41, 12. Mär. 2008)

Aber doch bitte recht freundlich, 217.115.75.231 !! mach's doch einfach selber! Das ist ja das Schöne an Wikipedia: Ärger, Magengeschwüre und unnötige Folgekosten für die Allgemeinheit (oder allzu früh verfallene Rentenansprüche) lassen sich dadurch ganz einfach vermeiden - um gleich die extremsten (!) Auswirkungen anzuführen. "Textgärtner" sind hier immer willkommen, die sich an den kleinen Blüten korrekter Flexionen, richtig gesetzten Kommata und geschliffenen, treffenden Formulierungen nicht nur selbst erfreuen, sondern auch andere daran teilhaben lassen und so die Qualität des Gesamtprojektes heben helfen. --FotoFux 11:56, 12. Jul. 2008 (CEST)
Ich bin kein Linguist, aber ich glaube nicht, dass das unbedingt falsch ist. Immerhin geht es hier nicht einfach nur um irgendwelche Adjektive, sondern "komplementärer Verband" ist wie ein eigener Begriff, den man jetzt durch Distributivität noch näher einschränkt. Das ist so ähnlich wie z.B. "kommutativer unitärer Ring" oder "gerade natürliche Zahl". Da würde ich auf keinen Fall einen Beistrich schreiben.
Und was Du mit den Füllwörtern meinst habe ich jetzt beim Überfliegen des Artikels nicht erkennen können. Hast Du dazu vielleicht auch ein Beispiel? --Drizzd 12:37, 13. Jul. 2008 (CEST)
Von „http://de.wikipedia.org/wiki/Diskussion:Boolesche_Algebra“
Persönliche Werkzeuge