Boolesche Algebra

Neue Frage »

HarrisonFooord Auf diesen Beitrag antworten »
Boolesche Algebra
Meine Frage:
Gegeben folgende Axiome der Booleschen Algebra:

x*y = y*x (A4)

x+y = y+x (A5)

x*(y+z) = (x*y)+(x*z) (A6)

x+(y*z) = (x+y)*(x+z) (A7)

x*e = x (A8)

x+n = x (A9)

x*x' = n (A10)

x+x' = e (A11)

Zeige, dass folgendes Theorem gilt: x*n = n (Elimination)
Es dürfen AUSSCHLIEßLICH die gegebenen Axiome verwendet werden. Bei jedem Schritt soll das verwendete Axiom angegeben werden.

Meine Ideen:
Um eventuellen Fragen vorzubeugen: e ist das 1-Element, n das neutrale 0-Element.
Ich schreibe jetzt keine eigenen Ansätze rein, weil sich alle meine Rechnungen bis jetzt in Richtung nirgendwo entwickelt haben.
Auch Online habe ich schon viel gesucht, aber leider noch nichts brauchbares gefunden....lediglich Beweise zu anderen Theoremen, oder es wurden hier "nicht erlaube" Axiome und Theoreme verwendet.
Über einen vollständigen Lösungsweg wäre ich sehr dankbar!
gnolle Auf diesen Beitrag antworten »

Müsste es nicht x*x' = e und x+x' = n heißen? verwirrt

Lösungsvorschlag:
x+n=x
==> (x+n)x=x²
Jetzt stehts schon fast da. Was ist der letzte Schritt?

mfg gnolle
Leopold Auf diesen Beitrag antworten »

Zitat:
Original von gnolle
Müsste es nicht x*x' = e und x+x' = n heißen? verwirrt

Nein, (A10) und (A11) sind korrekt. Das sind die Komplementärgesetze.

Zitat:
Original von gnolle
Lösungsvorschlag:
x+n=x
==> (x+n)x=x²

Wie soll das zum Ziel führen?
Ich würde anders beginnen:

(nach (A9))

Jetzt diese Gleichung nehmen.
gnolle Auf diesen Beitrag antworten »

Ok, vllt stimmt dann meine Lösung auch nicht, aber aus
(x+n)*x=x²
folgt x² + nx =x² |-x²
==> nx=0

deins ist allerdings eleganter, und leichter mit den Axiomen zu begründen
Leopold Auf diesen Beitrag antworten »

Zitat:
Original von gnolle
Ok, vllt stimmt dann meine Lösung auch nicht, aber aus
(x+n)*x=x²
folgt x² + nx =x² |-x²
==> nx=0


Das ist falsch.
Eine Subtraktion oder die Existenz von Inversen bezüglich + ist einer Booleschen Algebra nicht vorgesehen.
gnolle Auf diesen Beitrag antworten »

Ok, dann entschuldige ich mich!
 
 
HarrisonFooord Auf diesen Beitrag antworten »

Zitat:
Original von Leopold
Zitat:
Original von gnolle
Müsste es nicht x*x' = e und x+x' = n heißen? verwirrt

Nein, (A10) und (A11) sind korrekt. Das sind die Komplementärgesetze.

Zitat:
Original von gnolle
Lösungsvorschlag:
x+n=x
==> (x+n)x=x²

Wie soll das zum Ziel führen?
Ich würde anders beginnen:

(nach (A9))

Jetzt diese Gleichung nehmen.

"mal x nehmen" ist kein Axiom!
Es geht hier wirklich darum ausschließlich Umformungen vorzunehmen, die laut Axiomen erlaubt sind, und sonst überhaupt nichts. So stehts auch in der Aufgabenstellung.
Leopold Auf diesen Beitrag antworten »

Zitat:
Original von HarrisonFooord
Zitat:
Original von Leopold
...
(nach (A9))

Jetzt diese Gleichung nehmen.

"mal x nehmen" ist kein Axiom!


Natürlich nicht. Aber eine Tätigkeit, die ich mir nicht verbieten lasse. Und du solltest es auch nicht tun ...
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »