Suche ein Programm um eine Wahrheitstabelle in Gatter umwandeln

Moderator #6014034
Lesenswert?

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
Lesenswert?

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
Lesenswert?

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
Lesenswert?

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
Lesenswert?

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
Lesenswert?

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
Lesenswert?

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

Bitte melde dich an, um einen Beitrag zu schreiben.

oder

Mit Google-Account einloggen

Die Registrierung ist kostenlos und dauert nur eine Minute.

Jetzt registrieren