Freeware Boolesche Algebra Vereinfachen

[Jochen (Gast)]

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

[Jochen (Gast)]

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?

[... (Gast)]

karnaugh veitsch diagramme musst du können!

http://karnaugh.shuriksoft.com/download.shtml

[Jochen (Gast)]

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.

[Rainer (Gast)]

Hallo Jochen,

wie waere es hiermit?

http://www.iapetus.ch/article5.html


MfG   Rainer

[Jochen (Gast)]

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

[Jochen (Gast)]

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

[mr.chip (Gast)]

Selber schreiben? Allzuschwer dürfte das doch nicht sein :-)

[Rainer (Gast)]

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

[Juppi (Gast)]

2 Stunden für eine Funktion mit 6 Variablen?

Kannst du Quine-McCluskey? (ernst gemeinte Frage, soll keine 
Unterstellung oder sonstiges sein) :)

[Jochen (Gast)]

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

[Mathi (Gast)]

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

[Jochen (Gast)]

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