Theoretische und technische Informatik - ganz praktisch
Herzlich willkommen auf der Question/Answer-Plattform zu Grundlagen der Informatik II. Wir wünschen Ihnen viel Spaß beim Lernen und Diskutieren!
Loggen Sie sich mit Ihrem KIT-Account (u...) ein, um loszulegen!
Beachten Sie auch diese Informationen zum Schnelleinstieg.
(Nicht-KIT-Studierende beachten bitte diese Informationen.)

Beliebteste Tags

verständnis alternativlösung klausur kellerautomat endlicher-automat grammatik regulärer-ausdruck pumpinglemma turingmaschine tipp zahlendarstellung cmos klausurrelevant bonusklausur komplexität schaltwerk binary-decision-diagram deterministisch assembler schaltnetz minimierung sprachen nichtdeterministisch huffman chomsky-normalform fehler-in-aufgabe anwesenheitsübung rechtslinear heimübung flip-flop cocke-younger-kasami-algorithmus kontextsensitive-grammatik kontextfreie-grammatik fehlererkennbarkeit huffman-kodierung hauptklausur vorlesungsfolien kontextfreie-sprache polynomialzeitreduktion faq gleitkommazahl fehlerkorrigierbarkeit rechtslineare-grammatik dateiorganisation cache darstellung-klausur nachklausur xwizard adressierungsarten lambda mealy endliche-automaten konjunktive-normalform pipelining zustände saalübung leeres-wort ohne-lösungen betriebssystem speicherorganisation moore monotone-grammatik 2-komplement fehler reguläre-sprache hammingzahl monoton lösungsweg pumping-lemma-für-kontextfreie-sprachen kodierung berechenbarkeit pumping-lemma klausureinsicht disjunktive-normalform info-ii bussysteme rechnerarchitektur abzählbarkeit komplexitätsklassen ableitungsbaum vorlesungsaufzeichnung round-robin entscheidbarkeit minimierung-endlicher-automaten chomsky-klassen von-neumann-rechner binärzahl entscheidbar programmiersprachen aufzählbarkeit stern-symbol automaten schaltnetze-und-schaltwerke nukit-fragen bewertung zugriffsarten umformung adressierung mengen binär-subtrahieren

Kategorien

0 Pluspunkte 0 Minuspunkte
98 Aufrufe

Hallo zusammen,

*ich verstehe bei der unteren Häfte das "zweite UND-Gatter" nicht, denn für

q1 ist der Boolesche Term: q1 = e(q0 ∨ q1) ∨ ¬e(¬q0 ∨ ¬q1).

Ich dachte, dass "erste UND-Gatter" wird wegem dem zweiten Ausdruck im Booleschen Term (¬e(¬q0 ∨ ¬q1)) negiert . Dann müsste ja das zweite UND-Gatter nicht negiert werden (wg. e(q0 ∨ q1)), oder?!

*Und wie kommt man für a auf ¬q0 ∨ q1 ?Ich weiß, dass das a mit einem OR-Gatter verbunden ist, aber dass ¬q0 versteh ich nicht.

 

Ich wäre für eine Antwort sehr dankbar :)!!!

 

in 2017-B-03 von  

2 Antworten

0 Pluspunkte 0 Minuspunkte

Hallo undbg,

zu deiner ersten Frage:

Das erste UND-Gatter hat zwei Eingänge, einmal den Eingang ¬e und den Eingang ¬(q1 ^ q0) = ¬q0 v ¬q1. Somit erfüllt dieses UND-Gatter die Boolsche Formel ¬e(¬q0 v ¬q1).

Das zweite UND-Gatter hat die Eingänge e und ¬(¬q0 ^ ¬q1) = (q0 v q1). Hier haben wir eine doppelte Negierung, diese löst sich dann auf und wir erhalten den gesuchten nicht-negierten booleschen Term.

Zu deiner zweiten Frage:

Den booleschen Term für a finden wir mithilfe der darüber stehenden zweiten Wahrheitstabelle auf. Hier können wir ablesen, dass a genau 1 ist, wenn ¬q0 v q1 erfüllt ist.

Ich hoffe, das beantwortet deine Fragen.

Viele Grüße,

Julia (Tutorin)

von Julia Kopf Tutor(in) (101k Punkte)  
0 Pluspunkte 0 Minuspunkte

Hallo,

Zum ersten Teil: die beiden unteren UND-Gatter besitzen ja zwei Eingänge. Der eine Eingang ist mit der Eingabe verbunden, der zweite mit den beiden UND-Gattern mit den Rückführungen von q1 und q0.

Das Problem hier ist, dass du nicht einfach die Rückführungen q0,q1 als direkte Eingänge hast, sondern diese "vorbearbeitet" durch die UND-Gatter sind. D.h. du musst eine Darstellung finden, die mit diesen UND-Gattern arbeitet.

Hier kommt nun der kleine Trick zum Tragen:

allgemein gilt: (a v b) ⇔ ¬ (¬a ^ ¬b) ⇔ ¬a NAND ¬b (Also einfach doppelt negiert)

Das kannst du auch auf die beiden ODER aus q1 anwenden, dann erhälst du: 

q1 = (e ^ (¬ (¬q0 ^ ¬q1))) v (¬e ^(¬ (q0 ^ q1)))

Damit hast du dann mit den unterstichenen Teilen die Eingänge, die mit den UND-Gattern verbunden sind, dargestellt.  e bzw ¬e kann dann jeweils für den zweiten Eingang definiert werden.

Zu Teil zwei:

Hier wird die Tabelle umgesetzt, die zu Beginn berechnet werden soll

te. Diese gibt an, bei welchen Belegungen von q0,q1 die Ausgabe 0 oder 1 ist. Alle Fälle ergeben hier 1 bis auf q0= 1 und q1= 0. Dies wird mit dem ODER-Gatter 

erzielt. (Gatter leitet bei allen Fällen bis auf diesen.) Damit werden übrigens alle Endzustände von dem EA realisiert.

Ich hoffe ich konnte dir helfen!

Viele Grüße,

Timon (Tutor)

von ubetd ubetd Tutor(in) (101k Punkte)  
...