aus der logik... < Technische Inform. < Praktische Inform. < Hochschule < Informatik < Vorhilfe
|
hallo,
ich hoff mal jemand kann mir helfen, ich hab schon
viel rumprobiert, es aber irgendwie nicht richtig hin-
bekommen, ich glaub es ist aber eigentlich gar nicht so
schwer...
und zwar soll folgender ausdruck mit der "nand"-verknüpfung (dazu gabs
noch die Angabe X.NAND.Y = NOT.(X.AND.Y).)
wiedergegeben werden:
(X.AND.Y.AND.Z).OR.(Y.AND.Z)
vielen dank schonmal (falls sich jemand damit auskennt...)
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
Hallo Mariechen!
Habe leider keine Zeit, deine Aufgaben ganz zu rechnen, aber ich denke, mit diesem Tipp kannst du noch ein bisschen selber weiterprobieren.
Am bestens stellst du zuerst die Operationen x and y, not x und x or y mit der nand-Verknüpfung da, denn aus diesen kannst du relativ leicht jeden beliebigen Ausdruck zusammensetzen (könntest du sogar schon aus and und not oder aus or und not, aber ich glaube, mit allen drei ist es einfacher).
du sagst also:
x and y = not(not(x and y))=not(not(x and y) and not(x and y)) = (x nand y) nand (x nand y)
(hoffentlich habe ich mich da jetzt nicht vertan...)
not x = not (x and x) = x nand x
und
x or y = not(not x and not y), da kannst du jetzt die Definition für not x mithilfe der nand-Verknüfpung einsetzen, und dann hast du auch or nur mit der Nand-Verknüpfung dargestellt.
Jetzt musst du "nur noch" jede Operation in deinem Term durch die obigen ersetzen, und schon hast du deinen Term nur durch nand dargestellt. Aber es kann sein, dass man sich dabei leicht vertun kann, am besten ganz viele Klammern setzen und notfalls jede in einer anderen Farbe machen, damit du weißt, welche zusammengehören...
Ich hoffe, das hilft dir weiter.
Viele Grüße und ![[gutenacht]](/images/smileys/gutenacht.gif "[gutenacht]")
Bastiane
![[cap]](/images/smileys/cap.gif "[cap]")
|
|
|
| |
|
also erstmal vielen dank an bastiane dass sie sich mit dieser
aufgabe beschäftigt hat :),
was ich nicht so ganz versteh, es kamen ja 3 buchstaben vor (x,y,z)
aber du hast nur von x und y geschrieben oder macht das keinen
unterschied? desweiteren ist mir leider nicht so ganz klar wie ich das
dann da einsetzen muss...
ich hab schon mal ein bisschen probiert wobei ich dann so was wie
(X.NAND.Y.NAND.Z).NAND.(Y.NAND.Z) raus hatte, wobei mir aber jemand
gesagt hat, dass das nicht stimmt (wär wohl auch zu einfach gewesen ;( ),
jemand anders meinte es käme NOT (B.NAND.C) raus, womit ich mich
allerdings auch nicht so wirklich anfreunden kann...
Wäre echt dankbar für eine antwort...
|
|
|
| |
|
Hallo mariechen!
> also erstmal vielen dank an bastiane dass sie sich mit
> dieser
> aufgabe beschäftigt hat :),
Hast du denn verstanden, was ich da geschrieben hatte? Ansonsten frag ruhig nochmal nach, denn sonst kannst du den Rest vielleicht auch nicht verstehen...
> was ich nicht so ganz versteh, es kamen ja 3 buchstaben
> vor (x,y,z)
> aber du hast nur von x und y geschrieben oder macht das
> keinen
> unterschied?
Ja, das war mir gestern abend zu spät, noch mit drei Buchstaben rumzuwurschteln, aber im Prinzip müsste das egal sein. Denn so weit ich weiß, ist es egal, ob du x [mm] \wedge [/mm] y [mm] \wedge [/mm] z oder (x [mm] \wedge y)\wedge [/mm] z schreibst, und da kannst du dann einsetzen.
desweiteren ist mir leider nicht so ganz klar
> wie ich das
> dann da einsetzen muss...
Also, du fänst am besten bei der ersten Klammer an, also bei (x [mm] \wedge y)\wedge [/mm] z. Davon nimmst du wiederum die erste Klammer (x [mm] \wedge [/mm] y) und setzt hierfür das ein, was das gleiche darstellt aber nur mit nand geschrieben. Okay? Das, was ich dir glaube ich gestern schon geschrieben habe. Und jetzt stellst du dir vor, dieser ganze Term wäre wiederum nur ein "Buchstabe", also von mir aus a, dann hättest du da erstmal noch stehen: a [mm] \wedge [/mm] z. Und hierfür machst du dann das Gleiche nochmal, also wieder einsetzen, nur statt a musst du wohl leider das schreiben, was du eben hattest. (wie gesagt, am besten mit vielen bunten Farben...).
Das Gleiche machst du dann für die Klammer (y [mm] \wedge [/mm] z), und dann hast du da zwei "große" Klammern stehen, die durch ein [mm] \vee [/mm] verbunden sind. Und da stellst du dir wieder vor, diese großen Klammern hießen einfach b und c, also als stände da b [mm] \vee [/mm] c, und dafür kannst du dann wieder einsetzen, was ich dir für das Oder ausgedrückt durch Nand geschrieben habe (wiederum mit den ganzen Termen für b und c.
Verstehst du, was ich meine? Sorry, mir ist es zu viel Arbeit das jetzt alles aufzuschreiben, aber ich habe es mal auf nem Schmierpapier gemacht und habe Folgendes raus:
{[(x nand y) nand (x nand y)] nand z]} nand {[(x nand y) nand (x nand y)] nand z]}.
Es kann aber durchaus sein, dass ich mich mal verrechnet habe.
Schick doch deine "Rechnungen", dann kann ich mal drüber gucken...
> ich hab schon mal ein bisschen probiert wobei ich dann so
> was wie
> (X.NAND.Y.NAND.Z).NAND.(Y.NAND.Z) raus hatte, wobei mir
> aber jemand
> gesagt hat, dass das nicht stimmt (wär wohl auch zu
> einfach gewesen ;( ),
Ja, ich glaube auch, dass das zu einfach wäre... 
> jemand anders meinte es käme NOT (B.NAND.C) raus, womit
> ich mich
> allerdings auch nicht so wirklich anfreunden kann...
Was sind denn B und C? Außerdem ist das ja so noch nicht fertig, es dürfen doch nur noch Nands da stehen und kein Not mehr...
> Wäre echt dankbar für eine antwort...
Hoffentlich hilft sie dir weiter... 
Viele Grüße
Bastiane
![[banane]](/images/smileys/banane.gif "[banane]")
|
|
|
|
