Aufgabe: Bestimmen die Zustandsvariablen und gebe für die Ausgänge c und d die Ausgangsfunktionen an.Hinweis: Wie viele Zustandvariablen benötigt man, um die Ausgangsfunktionen zu beschreiben?
Ansatz: habe mir zunächst überlegt alle Gatter einzeln zu beschreiben und dann zusammenzuführen.
Für z2:
Also ganz unten rechts wäre ja (A NOR A) und dieses dann mit dem NAND-Gatter unten zusammengefügt wäre ((A NOR A)) NAND B). Das fügt man dann mit dem NAND-Gatter ganz rechts zusammen. Das NAND-Gatter auf der einen Seite hat als anderen Eingang (A NAND B) (das ist oben rechts) oder eben die Funktion ((A NOR A) NAND B) und eben wieder (A NAND B). Das käme dann aber zu einer endlos rekurisven Verkettung
Dann hab ich mir überlegt, dass man ja diese rekursive Verkettung durch z1 und z2 ersetzten kann, also kämen als Funktionen heraus:
Problem: Ich bin mir nicht sicher, ob das so korrekt ist, oder ob ich das Schaltzwerk nicht doch zu sehr vereinfacht hat. In den nächsten Teilaufgaben sollte man ein Zustandsübergangsdiagramm und eine Zustandstabelle zeichnen, und ich glaube, durch diese Darstellung sind einige Informationen verloren gegangen. Oder passt das soweit?
Und ich verstehe nicht, wie ich die Ausgangsfunktion c und darstellen soll? Klar, c und d sind abhängig von a, b sowie z1 und z2. Aber ist in dem Schaltwerk c nicht das gleiche wie z1? Und d ist doch dasselbe wie z2, oder? Weil z1 wird ja unmittelbar vor c geschaltet und da ja kein Gatter mehr davor ist, ist das doch identisch, oder? Analog bei d und z2.
