| Autor |
Beitrag |
    
Breitkreutz
| | Veröffentlicht am Dienstag, den 28. November, 2000 - 11:24: | 
|
Ich habe die beiden Wahrheitsfunktionen x|y (SHEFFER-Funktion) sowie x#y (PEIRCE-Funktion) durch Wahrheitstafel gegeben
x|y|x|y
-|-|----
0|0|1
0|1|1 (SHEFFER-Funktion)
1|0|1
1|0|0
x|y|x#y
-|-|----
0|0|1
0|1|0 (PIERCE-Funktion)
1|0|0
1|1|0
Ich soll nun zeigen ,daß nicht x, x und y, x oder y, allein durch a) SHEFFER- und b) PIERCE-Funktion angegeben werden können |
Matroid (Matroid)
| | Veröffentlicht am Mittwoch, den 29. November, 2000 - 21:59: |
|
Hi Breitkreutz, in Deiner ersten Tabelle muß es doch in der vierten Zeile 1|1|0 heißen, oder?
Dann ist
not x = not(x|x)
x und y = not(x|y)
x oder y = not(x#y)
Gruß
Matroid |
Breitkreutz
| | Veröffentlicht am Donnerstag, den 30. November, 2000 - 19:43: |
|
Du hast natürlich recht,aber kann ich nicht alle drei Ausdrücken mit der Sheffer-Funktion bzw.Pierce-Funktion darstellen.Also kann ich nicht z.B. x#noty und x#y verknüpfen und somit notx erhalten? |
Matroid (Matroid)
| | Veröffentlicht am Donnerstag, den 30. November, 2000 - 19:54: |
|
Kannst Du machen, aber warum ist das besser? |
Breitkreutz
| | Veröffentlicht am Sonntag, den 03. Dezember, 2000 - 20:19: |
|
Ich habe die Aufgabe so verstanden ,daß ich alle drei Ausdrücke (nicht x,x und y,x oder y)jeweils durch Sheffer- oder Piercefunktion darstellen.Ich habe noch eine bessere Idee wie ich x oder y durch Shefferfunktion darstellen kann
(nicht x/y)/(nicht(x/x)).So habe ich nur Shefferfunktion im Ausdruck.Und weiterhin habe ich eine Idee wie ich x und y mit einer PIERCE-funktion darstellen kann,(x#x)#(y#y),gut nicht! |
Matroid (Matroid)
| | Veröffentlicht am Sonntag, den 03. Dezember, 2000 - 20:57: |
|
Ja, mit dem letzten Ausdruck hast Du dann alle Möglichkeiten.
Schöne Grüße
Matroid |
|
