NOR/NAND

[system]

Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.

[VPROF]

NOR/NAND
Ich komme immer bei der Realisierung von einer Fkt mit Nor Gattern durcheinander könnte man das nochmal ausführlich erklären ?

Danke

[ku1]

---

So wie ich das sehe musst du dir einfach überlegen wie OR und AND mit NOR realisiert werden können, Stichwort Erzeugendensystem, die Folie dazu fällt mir aber nicht ein.

[Marcel_Inf]

---

@ku

So wie ich das sehe musst du dir einfach überlegen wie OR und AND mit NOR realisiert werden können, Stichwort Erzeugendensystem, die Folie dazu fällt mir aber nicht ein.

Genau. Und zwar von den innersten Formeln bis ganz nach oben. Oder wenn du dir Formeln als Baum vorstellst: von den Blättern zuerst aus! (Falls dir Folgendes mehr hilft: NANDify ist eine induktiv definierte Funktion mit Fällen für 0, 1, phi ^ psi, phi v psi, !phi, wobei phi, psi selbst Formeln sind. NANDify(komplexeFormel) berechnet also rekursiv das Ergebnis, die erste Berechnung findet daher in den Blättern bei 0 und 1 statt.)