Aussagenlogik < Krypt.+Kod.+Compalg. < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 16:07 So 05.11.2006 | | Autor: | Phoney |
Hallo.
Ich habe ein Problem mit dieser Aussage: $A [mm] \oplus [/mm] B$
Ich habe keine Ahnung, was dieses [mm] \oplus [/mm] bedeutet. Ich habe dafür die Bezeichnung "Restklassenaddition" gefunden. Die hilft mir allerdings nicht weiter.
Wie heißt das Symbol - bzw. kennt jemand ein Axiom, womit ich das umschreiben kann?
Danke!
Gruß
Johann
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 23:18 So 05.11.2006 | | Autor: | SLe |
Bei dem Symbol [mm] \oplus [/mm] handelt es sich um die Exklusiv-Oder Funktion. Es ist ähnlich der Oder Funktion +, nur daß sich für A und B = 1 eine 0 ergibt.
Wahrheitstabelle für Y = A [mm] \oplus [/mm] B:
A B Y
0 0 0
0 1 1
1 0 1
1 1 0
Das heißt also, die Aussage ist wahr, wenn A oder B wahr ist, nicht aber wenn A und B wahr sind.
Der Begriff Restklassenaddition erklärt sich dadurch, daß sich bei einer Addition binärer Zahlen folgende Ergebnisse ergeben:
0+0=0
0+1=1
1+0=1
1+1=0 (mit Übertrag 1; dieser wird aber bei der Restklassenaddition nicht berücksichtigt.)
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 15:59 Di 07.11.2006 | | Autor: | Phoney |
Hi Sle.
Tolle Antwort. Danke, das habe ich verstanden und das hilft mir weiter. Dankeschön
Gruß
Johann
|
|
|
|
