Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
--- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
---- Logik (http://www.informatikerboard.de/board/board.php?boardid=16)
----- Gatter und ihre Assoziativität (http://www.informatikerboard.de/board/thread.php?threadid=2519)
Geschrieben von KrampusD am 30.10.2015 um 12:24:
Gatter und ihre Assoziativität
Hallo,
Ich habe folgende Frage und zwar habe ich von der Uni aus, eine Aufgabe bekommen, in
der ich widerlegen oder beweisen soll das NOR assoziativ ist.
Ich bin mir nicht ganz sicher, wie ich dies lösen soll.
Ich würde wie folgt an die Aufgabe herantreten:
Eine Wahrheitstabelle für NOR:
a b a nor b
0 0 1
0 1 0
1 0 0
1 1 0
Und jetzt das Ganze drehen.
Würde das als Beweis reichen?
Vielen Dank!
Gruß
KrampusD
Geschrieben von Karlito am 30.10.2015 um 12:32:
Ja, sollte reichen. Reichte bei uns auch immer.
Gruß,
Karlito
Geschrieben von KrampusD am 30.10.2015 um 12:47:
Schon mal Danke! Noch eine kleine Frage:
also quasi:
b a b nor a
vom Kopf der Tabelle her?
Gruß
Geschrieben von Karlito am 30.10.2015 um 12:49:
Mir ist gerade noch aufgefallen, dass Du scheinbar die Kommutativität nachweist, nicht die Assoziativität.
Den Kopf der Tabelle kannst Du so machen. Die Frage itst, warum Du die Inputs vertauschst...
Edit: Wenn Du die Inputs vertauschst, ist es schwerer zu sehen, dass bei gleichen Inputs die gleichen Outputs herauskommen. Es ist also weniger Sinnvoll..
Gruß,
Karlito
Geschrieben von KrampusD am 30.10.2015 um 13:27:
oh, ich brauch noch nen dritten Eingang oder?
quasi a b c und dann sowas nachweisen wie:
(a nor b) nor c = a nor (b nor c)
Gruß
Geschrieben von Karlito am 31.10.2015 um 01:38:
Jup, genau.
Gruß,
Karlito
Forensoftware: Burning Board, entwickelt von WoltLab GmbH