Schaltung nur mit NANDs

Gast #6128574
Hallo,

grundsätzlich ist mir das Prinzip wie man eine Schaltung in eine 
Schaltung nur mit NANDs umwandelt bekannt. Meine Lösung (siehe Bild) 
funktioniert definitiv, nur weiß ich, dass es eine bessere gibt (also 
weniger NAND Gatter für die selbe Schaltung). Nur weiß ich nicht wie ich 
es besser machen kann?
Es dürfen nur NANDs mit 2 Eingängen verwendet werden.

Vieleicht kann mir ja wer helfen :)
Angehängte Dateien:
Gast
Es helfen eigentlich alle 3. Mit den ersten beiden bildet man zuerst die 
vereinfachte logische Gleichung um dann mit Hilfe des 3. Herrn das Ganze 
mit NAND oder auch NOR zu machen.
Moderator
Dani schrieb:
> grundsätzlich ist mir das Prinzip wie man eine Schaltung in eine
> Schaltung nur mit NANDs umwandelt bekannt.

Ist dir auch bekannt, wie man einen logischen Term vereinfacht? Das
solltest du vor der Umwandlung in NANDs tun. Am schnellsten (in 2 oder 3
Schritten) geht das, indem du die einschlägigen Gesetze anwendest:

  https://de.wikipedia.org/wiki/Formelsammlung_Logik#Logische_Grundgesetze

Karnaugh-Veitch geht natürlich auch, ist in diesem Fall aber ziemlich
mühselig und fehlerträchtig.

Die Lösung ist perfekt, wenn du auch zeigen kannst, dass die Anzahl der
verwendeten NANDs minimal ist. Auch das ist in diesem einfachen Fall
nicht so schwer.

Die minimale Anzahl der benötigten NANDs wurde ja schon genannt,
allerdings ohne Beweis :)
Moderator
Michel M. schrieb:
> Proof by
> ...

1. Dein Term enthält mehr öffnende als schließende Klammern.

2. Auch nach dem Korrekturversuch von WolframAlpha stimmt der Term nicht
   mit dem des TE überein, folglich ist auch der Ausdruck mit NANDs ein
   anderer.

3. Gibt man den Term richtig ein, erhält man als Lösung einen Ausdruck
   mit einem Zweifach- und einem Dreifach-NAND. Das ist zwar die
   einfachste NAND-Form, gesucht ist aber eine Lösung mit nur Zweifach-
   NANDs.

Somit hilft hier WolframAlpha leider nicht weiter.
Gast
Yalu X. schrieb:
> Karnaugh-Veitch geht natürlich auch, ist in diesem Fall aber ziemlich
> mühselig und fehlerträchtig.

Das ist weder mühselig noch fehlerträchtig.
Aus der ersten Gleichung eine Logiktabelle aufstellen und das in ein KV 
Diagramm eintragen dauert keine 5 Minuten.
Was bei der puren Anwendung der Rechengesetze der Logik raus kommt sieht 
man ja.
Moderator
Zeno schrieb:
> Yalu X. schrieb:
>> Karnaugh-Veitch geht natürlich auch, ist in diesem Fall aber ziemlich
>> mühselig und fehlerträchtig.
>
> Das ist weder mühselig noch fehlerträchtig.
> Aus der ersten Gleichung eine Logiktabelle aufstellen und das in ein KV
> Diagramm eintragen dauert keine 5 Minuten.

Ich habe mit Tabelle und KV-Diagramm bis zur disjunktiven Minimalform
315s gebraucht, mit logischen Umformungen waren es 15s. Dazu kamen dann
jeweils noch 25s für die Umwandlung in die NAND-Form.

> Was bei der puren Anwendung der Rechengesetze der Logik raus kommt sieht
> man ja.

Falls du dich auf Helmuts Beitrag beziehst: Der Fehler ist ihm nicht bei
der Vereinfachung des Terms unterlaufen, sondern bei der anschließenden
Umwandlung in die NAND-Form, die ja bei beiden Verfahren gleichermaßen
gemacht werden muss. Oder gibt es eine Möglichkeit, die NAND-Form direkt
und ohne weitere Umformungen aus dem KV-Diagramm abzulesen?
Gast
Yalu X. schrieb:
> Falls du dich auf Helmuts Beitrag beziehst: Der Fehler ist ihm nicht bei
> der Vereinfachung des Terms unterlaufen

Nö ich habe mich da eher auf den Eröffnungspost bezogen. Habe aber 
gerade festgestellt, das der TO da gar nichts vereinfacht hat, sondern 
nur stur die Verknüpfung in NAND umgewandelt hat.

Yalu X. schrieb:
> Ich habe mit Tabelle und KV-Diagramm bis zur disjunktiven Minimalform
> 315s gebraucht, mit logischen Umformungen waren es 15s. Dazu kamen dann
> jeweils noch 25s für die Umwandlung in die NAND-Form.
Mir fällt es mit KV einfach leichter, was Optimales heraus zu bekommen. 
Da muß ich nicht groß überlegen. Bis 4 Eingangsvariablen finde ich KV 
einfacher. Die logischen Umformungen liegen mir halt nicht so. Bin mir 
auch nicht sicher ob logische Umformungen immer zu einem Minimalaufwand 
führen. Bei KV bin ich mir da aber ziemlich sicher.

Yalu X. schrieb:
> Oder gibt es eine Möglichkeit, die NAND-Form direkt
> und ohne weitere Umformungen
Bei KV kommen in aller Regel OR verknüpfte AND-Verknüpfungen heraus. Die 
sind aber nach den Regeln von DeMorgan schnell umgewandelt.
Yalu X. schrieb:
> Michel M. schrieb:
>> Proof by
>> ...
>
> 1. Dein Term enthält mehr öffnende als schließende Klammern.
>
> 2. Auch nach dem Korrekturversuch von WolframAlpha stimmt der Term nicht
>    mit dem des TE überein, folglich ist auch der Ausdruck mit NANDs ein
>    anderer.
>
> 3. Gibt man den Term richtig ein, erhält man als Lösung einen Ausdruck
>    mit einem Zweifach- und einem Dreifach-NAND. Das ist zwar die
>    einfachste NAND-Form, gesucht ist aber eine Lösung mit nur Zweifach-
>    NANDs.
>
> Somit hilft hier WolframAlpha leider nicht weiter.

sorry beim kopieren scheinbar zerlegt ..  :-(

Allg Info:
https://www.wolframalpha.com/input/?i=+boolean+algebra+NAND+

Korrigiert:
https://www.wolframalpha.com/input/?i=DNF%28U+AND+V+AND+W%29+OR+%28NOT+%28U+OR+X%29%29+OR+%28NOT+%28+NOT+V+OR+NOT+W+%29%29+

Danach rechter Rand zu [Minimal forms:]gehen
und [Text notation] anwählen.
Liest sich leichter

...mit einem NAND als NOT verschaltet müssten es 5 NAND sein ?!
... habe es jetzt aber nicht mehr extra geprüft ..... :-)
Egon D. schrieb:
> Yalu X. schrieb:
>
>> Oder gibt es eine Möglichkeit, die NAND-Form direkt
>> und ohne weitere Umformungen aus dem KV-Diagramm abzulesen?
>
> Sind die Strukturen einer AND-OR-Schaltung und einer
> NAND-NAND-Schaltung nicht identisch?

Im KV-Diagramm bekommt man niemals die Lösung mit NAND. Man bekommt 
Terme mit UND und die Terme sind ODER verknüpft. Einzelne Signale sind 
auch invertiert. Das KV-Diagramm dient "nur" zur Minimierung der Terme. 
Allerdings hat man dabei den Aufwand erst mal das Ergebnis aller 
Kombinationen zu berechnen um das KV-Diagramm mit 0 und 1 zu füllen.
Moderator
Egon D. schrieb:
> Yalu X. schrieb:
>
>> Oder gibt es eine Möglichkeit, die NAND-Form direkt
>> und ohne weitere Umformungen aus dem KV-Diagramm abzulesen?
>
> Sind die Strukturen einer AND-OR-Schaltung und einer
> NAND-NAND-Schaltung nicht identisch?

Ja. Nur lässt sich das auf die vorliegende Aufgabenstellung nicht
anwenden, da

1. nur NAND-Gatter mit jweils zwei Eingängen verwendet werden dürfen und

2. offensichtlich eine Lösung mit der minimalen Anzahl von Gattern
   gesucht ist.

Beide Forderungen werden durch die direkt aus der DNF abgeleiteten
NAND-Form i.Allg. nicht erfüllt.

Antwort schreiben

Eine eigene Frage? Dieser Thread ist über 6 Jahre alt. Stell sie in einem eigenen Thread – dort lesen mehr Leute mit, und sie wird öfter und schneller beantwortet.

Neuen Thread starten

Eine Lösung, Ergänzung oder Rückmeldung zu diesem Thread? Dann antworte hier.

Formatierung
  • [c]C-Code[/c]
  • [code]Code in anderen Sprachen, ASCII-Zeichnungen[/code]
  • [math]Formel in LaTeX-Syntax[/math]
  • [[Titel]] – Link zu einem Artikel
  • Verweis auf einen anderen Beitrag: Rechtsklick auf dessen Beitrags-ID (#8078628), „Adresse kopieren“, in den Text einfügen

Mehr zur Formatierung

Längeren Sourcecode als Anhang, nicht in den Text. JPG nur für Fotos und Scans; Zeichnungen und Screenshots als PNG oder GIF. Siehe Bildformate.

Schon registriert? Anmelden

Wird nicht angezeigt. Wir schicken dir einen Link; sobald du damit bestätigst, erscheint dein Beitrag.

Mit dem Abschicken legst du einen kostenlosen Account an und erkennst die Nutzungsbedingungen und die Datenschutzerklärung an.