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 turingmaschine pumpinglemma tipp zahlendarstellung cmos bonusklausur klausurrelevant 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 huffman-kodierung cocke-younger-kasami-algorithmus kontextsensitive-grammatik kontextfreie-grammatik fehlererkennbarkeit hauptklausur vorlesungsfolien polynomialzeitreduktion kontextfreie-sprache faq gleitkommazahl fehlerkorrigierbarkeit rechtslineare-grammatik dateiorganisation cache darstellung-klausur nachklausur xwizard adressierungsarten mealy lambda endliche-automaten konjunktive-normalform pipelining zustände saalübung leeres-wort moore ohne-lösungen betriebssystem speicherorganisation monotone-grammatik 2-komplement hammingzahl lösungsweg fehler pumping-lemma-für-kontextfreie-sprachen pumping-lemma reguläre-sprache monoton kodierung berechenbarkeit klausureinsicht disjunktive-normalform abzählbarkeit info-ii bussysteme rechnerarchitektur entscheidbarkeit komplexitätsklassen chomsky-klassen ableitungsbaum vorlesungsaufzeichnung round-robin aufzählbarkeit minimierung-endlicher-automaten von-neumann-rechner binärzahl entscheidbar programmiersprachen stern-symbol automaten schaltnetze-und-schaltwerke nukit-fragen bewertung zugriffsarten umformung adressierung mengen binär-subtrahieren

Kategorien

0 Pluspunkte 1 Minuspunkt
182 Aufrufe

Wie heißt der Algorithmus, um aus einem booleschen Term eine Schaltung bestehend aus NAND und NOR Gattern zu bauen?

Mit De-Morgan verstehe ich das nicht so ganz, irgendwie werden die Negationsstriche einfach willkürlich reingezogen. 

Gibt es da einen Algorithmus?

Bitte um Rückmeldung :)

 

in 2013-N-06 von uafjv uafjv Tutor(in) (168k Punkte)  

2 Antworten

2 Pluspunkte 0 Minuspunkte

Hallo,

von einem tatsächlichen Algorithmus wüsste ich nichts, jedoch ist das ganze auch nicht einfach willkürlich. Es wird mit dem Ziel vor Augen aus allen ANDs und ORs NANDs und ORs machen zu können doppelt negiert, umgeformt nach der de Morganschen Regel und ausgeklammert. Evtl. sieht man die Lösung nicht auf den ersten Blick aber mit ein wenig Übung ist es durchaus auch ohne konkreten Algorithmus machbar.

Viele Grüße,

Janina(Tutorin)

 

von uafjv uafjv Tutor(in) (168k Punkte)  
0 0
Kannst du eventuell noch bisschen konkretisieren, wie man dann vorgeht?
Also zunächst klammert man bei der Dopppelnegation eine Negation nach außen, okay, aber wie macht man dann weiter? V a bei 3 Literalen?
Danke :)
0 Pluspunkte 0 Minuspunkte
Hallo,
 
Denke mir würden da 2 bestimme Tricks einfallen. 
 
Ein ¬a lässt sich auch durch NOR(a,a) oder NAND(a,a) realisieren. Damit lässt sich schonmal jede Negation umschreiben.
 
Mit der DeMorgan´schen Regel lässt sich jedes "a v b" zu einem NAND(¬a,¬b) umformen (Doppelnegation und eine Negation aus der Klammer ziehen mit DeMorgan´scher Regel) und jedes "a und b" zu einem NOR(¬a,¬b) umschreiben. 

Die Umkehrung wenn man mit AND-, NOT- und OR-Gattern schreiben muss geht selbstverstädnlich auch. 

Hoffe ich konnte damit helfen :)
von uydht uydht Eins-Komma-Null-Anwärter(in) (2.3k Punkte)  
...