Theoretische und technische Informatik - ganz praktisch - Letzte Fragen & Antworten in SAA-2-1

Beantwortet: ¬(¬a ^¬b) = a v b?

Fri, 09 Feb 2018 09:12:35 +0000

Hallo,

auf welchen Umformungsschritt beziehst du dich denn genau?

Falls du den 2. Umformungsschritt meinst, dann musst du den gesamten Ausdruck beachten:
¬{¬[(¬a ∧ ¬b) ∨ (¬b ∧ ¬c)] ∧ ¬(a ∧ c)} = ¬[(¬a ∧ ¬b) ∨ (¬b ∧ ¬c)] NAND ¬(a ∧ c)
Hierbei wird die äußerste Klammer aufgelöst, da diese Negation ja verbietet dass die Teile (¬a ∧ ¬b) ∨ (¬b ∧ ¬c) und (a ∧ c) gleichzeitig wahr sind. Daher kann man sie mit dem NAND Gatter verknüpfen.

Liebe Grüße

Verena (Tutor)

Beantwortet: Aufgabe 1a

Mon, 29 Jan 2018 08:44:16 +0000

Hallo,

versuch doch mal die Zeilen abzulesen, deren Ergebnis eine 1 für "wahr" ist.

Kommst du dann auf die Lösung?

Viele Grüße

Laurin (Tutor)

Beantwortet: Rechenregeln in Aufgabenteil b

Mon, 30 Jan 2017 20:29:40 +0000

Hallo,

in der zweiten Zeile haben wir einen Ausdruck der Form ¬(¬a^¬b).

Und das ist ja genau die Definition des NAND Gatters: Es dürfen nicht beide Ausdrücke in der Klammer (bzw. unsere beiden Eingänge ins Gatter) wahr sein (bzw Spannung liefern).

Das vorderste Negationszeichen (NOT) wird also weggelassen und anstatt des AND-Operators wird NAND gesetzt. Umgangssprachlich sozusagen "NOT + AND = NAND".

Auf die gleiche Art werden auch in den folgenden Schritten Gatter gesetzt.

Ich hoffe das beantwortet deine Frage.

Viele Grüße

Lukas (Tutor)

Beantwortet: b Verbindung zum NMOS Teil

Mon, 23 Jan 2017 10:06:17 +0000

Eine korrigierte Version des Übungsblattes wurde gerade eben hochgeladen.