Hallo, ich habe öfters das Problem, das ich Therme größerer Ordnung vereinfachen möchte. Sehr oft passieren mir dabei Fehler wo ich sehr lange benötige diese zu finden. Gibts es eine einfache Freeware die Boolsche Algebra vereinfacht? Grüße
:
Verschoben durch User
Mir fällt da gleich noch eine Frage ein, gibt es auch eine Freeware wo ich KV Diagramme bis zu 6 Variablen einstelle und die Software mir die Boolsche Algebra erstellt?
Ich behersche das KV, ich möchte mir nur den Alltag vereinfachen... Die Software die verlinkt ist, ist leider nur für max. 4 Variablen. Das nützt mir nichts, ich benötige bis 6 Variablen.
Hallo Rainer, vielen Dank für Deine Mühen. Ich hab die Software auch gleich mal installiert und getestet, ich finde sie sehr unübersichtlich. Trotzdem vielen Dank für deinen Mühen. Grüße
Ich wollt nochmal auf die Problematik eingehen, eine Software zu finden die einen Boolschen Ausdruck vereinfacht. Ich hatte heute wieder das Problem einen Ausdruck mit 6 Variablen und 14 Thermen zu vereinfachen. Ich hatte fast 2 Stunden damit zu tun dies zu lösen, da muß es doch eine Software geben die dazu in der Lage ist, mir die Arbeit abzunehmen? Wäre für Vorschläge sehr dankbar
Selber schreiben? Allzuschwer dürfte das doch nicht sein :-)
Hier gibt es eine JAVA-Version fuer den Quine-McCluskey Algorithmus: http://www.dbhunter.de/php/include.php?path=content/content.php&contentid=94 MfG Rainer
2 Stunden für eine Funktion mit 6 Variablen? Kannst du Quine-McCluskey? (ernst gemeinte Frage, soll keine Unterstellung oder sonstiges sein) :)
Juppi, ich habe das auch nicht böse aufgefasst. Ja ich kenne das Quine und Mc Clusky Verfahren das schien mir immer zu aufwendig. Ich hatte aus dem Grund eine größere Wahrheitstabelle (z.B. 6 Variablen, 25 Konstellationen ) zuerst mittels KDNF bzw. KKNF zusammengefaßt und dann die entstandene Boolsche Algebra vereinfacht. Aber nicht selten entstanden bei der Zusammenfassung 20 Therme mit je 6 Variablen. Und die Vereinfachung war recht aufwendig. Ich bin für Vorschläge die,die Zusammenfassung und Vereinfachung betreffen sehr dankbar. Grüße
Was Du suchst ist Espresso. Das erste und sehr weit verbreitete Tool zur Minimierung von boolschen Ausdrücken. Es löst jedoch nicht exakt, sondern bedient sich heuristischer Verfahren. Vorteil dabei ist die wesentlich geringerer Laufzeit als bei Quine-McClusky. Google liefert einiges an Material zu Espresso. Als Start kann mal wieder wiki dienen: http://en.wikipedia.org/wiki/Espresso_heuristic_logic_minimizer Espresso ist als Sourcecode verfügbar. Z.B. hier: http://opencircuitdesign.com/magic/download.html
Espresso, war leider auch keine große Hilfe. Ich habe mal als Bsp. eine Wahrheitstabelle angehangen wo es darum geht zum Bsp. H1 zu vereinfachen. KKNF, KV ist leider nicht geeignet und Mc Clusky vestehe ich nicht. Hat jemand noch eine Idee eine Wahrheitstabelle in dem Umfang zu vereinfachen? Grüße
Bitte melde dich an um einen Beitrag zu schreiben. Anmeldung ist kostenlos und dauert nur eine Minute.
Bestehender Account
Schon ein Account bei Google/GoogleMail? Keine Anmeldung erforderlich!
Mit Google-Account einloggen
Mit Google-Account einloggen
Noch kein Account? Hier anmelden.