Suche ein Programm um eine Wahrheitstabelle in Gatter umwandeln

Gast #6013691
definiere "in gatter umwandeln"?

einfach nur in eine formel übersetzen, die dann mit logikgattern 
aufgebaut werden kann?

oder eine komplette schaltung draus machen?
Moderator #6014034
Chris schrieb:
> Ich suche ein Programm mit dem sich eine Wahrheitstabelle in Gatter
> umwandeln lässt.

Dazu brauchst du kein Programm. Der hierarchisch aufgebaute Schaltplan
im Anhang gilt für beliebige Wahrheitstabellen.

Er ist zwar bzgl. der Anzahl der Gatter¹ und der Durchlaufzeit nicht
immer optimal, aber danach war ja auch nicht gefragt.

Edit: Ich habe im angehängten Schaltplan gerade noch einen kleinen
Fehler in der Nummerierung der Eingänge korrigiert.

――――――――――――――
¹) Bei n Eingängen werden 3·(2ⁿ-1) Gatter benötigt (bzw. 4·(2ⁿ-1), wenn
   man den invertierenden Eingang des oberen AND-Gatters als separates
   Gatter rechnet).
Angehängte Dateien:
Gast #6014096
Chris schrieb:
> Ich suche ein Programm mit dem sich eine Wahrheitstabelle in Gatter
> umwandeln lässt. Kennt jemand eins?

Espresso
Siehe https://en.m.wikipedia.org/wiki/Espresso_heuristic_logic_minimizer

Für einfache Sachen reicht eventuell ein Karnaugh-Veitch Diagramm. 1D 
bis 3D. Mehr als 6bit Einang übersteigen meist das räumliche 
Vorstellungsvermögen ;)
Aber Karnaugh-Veitch liefert dir die zwei kanonischen Minimalformen, 
also minimaler Gatterbedarf bei mindestens einer der beiden.

Chris schrieb:
> Laut einem Forumbeitrag soll Multisim das können.

Welcher Beitrag? Bitte Link posten.

Harald W. schrieb:
> Udo schrieb:
>
>> Ich kenne da nur Brain 2.0.
>
> Für derart einfache Sachen sollte auch die Version 1.0 reichen.
Brain 2.0 ist eine Weiterentwicklung von Brain 1.0 . Weiterentwicklung 
ist lernen und Erfahrung sammeln. Ihr liegt beide richtig, nur dass man 
Wissen nicht nur aus Büchern beziehen kann ;)
Gast #6014584
Joe G. schrieb:

> Chris schrieb:
>> Ich suche ein Programm mit dem sich eine Wahrheitstabelle
>> in Gatter umwandeln lässt. Kennt jemand eins?
>
> Quine Mc Cluskey [1]. Es ist sehr einfach zu bedienen und
> hat eine gute Hilfe.

Ich möchte ja niemandem zu nahe treten, aber warum schreibt
man in Zeiten von Java und Python/Tk noch Tools, die nur
auf einer Plattform laufen?
Gast #6014783
Hallo,

Du kannst aus einer Funktionstabelle ganz einfach die Oder-Normalform 
(disjunktive Normelform) ableiten. Das ist eigentlich nur Schreibarbeit. 
Daraus kannst Du direkt den Plan zeichnen. Die Schaltung ist dann aber 
nicht vereinfacht. Dazu kannst Du dann zB das KV-Diagramm nehmen oder 
numerische Verfahren. Wenn Du etwas geübter bist, kannst Du auch direkt 
aus der Tabelle die Schaltung in ihrer disjunktiven Normalendarstellung 
zeichnen.

Google Suchwort also DNF oder diskunktive Normalform oder ODER 
Normalform

Viele Grüße,
Servo
Gast #6015205
Chris schrieb:
> Es soll eine Schaltung daraus zeichnen. Ob IEC- oder ANSI-Symbole ist
> mir egal

Servo schrieb:
> Wenn Du etwas geübter bist, kannst Du auch direkt
> aus der Tabelle die Schaltung in ihrer disjunktiven Normalendarstellung
> zeichnen.

Viel zu viel Arbeit für den TO - er will Klick und da sind die Gatter. 
Ob in LS-TTL oder CMOS oder FPGA muss das Programm halt direkt aus 
seinen Gedanken lesen. Immerhin, dass das Programm auch bestückt und 
lötet wird nicht verlangt.

Georg
Gast #6015229
Georg schrieb:
> Viel zu viel Arbeit für den TO - er will Klick und da sind die Gatter.
> Ob in LS-TTL oder CMOS oder FPGA muss das Programm halt direkt aus
> seinen Gedanken lesen. Immerhin, dass das Programm auch bestückt und
> lötet wird nicht verlangt.

Nur mal die Ruhe. Bisher habe ich das noch immer mit meinem Kopf 
hinbekommen. Aber fragen wird man ja mal dürfen. Immerhin gibts seit der 
Existenz von Computern Programme selbst für den sinnlosesten Furz.
Persönliche Seite #6015273
Für dieses Optimierungsverfahren:

https://de.wikipedia.org/wiki/Verfahren_nach_Quine_und_McCluskey

gibt es ein paar gute Online-Optimierer:

https://www.mathematik.uni-marburg.de/~thormae/lectures/ti1/code/qmc/index.html

(kann sogar don't-care Zustände!)

Wahrheitstabelle eintippen, optimieren klicken und die optimierten Terme 
dann direkt als Logik-Gatter hinschreiben.
Beitrag #6015276 wurde von einem Moderator gelöscht.

Antwort schreiben

Eine eigene Frage? Dieser Thread ist über 7 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.