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 he­r­an­tre­ten:

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