Forum: Programmieren allgemein
by JasonDX,
12. Dez 2009
Im Wikipedia-Artikel unten sind ein paar Implementierungen verlinkt, unter anderem auch ein Applet. Die kannst du dann dafür verwenden ;)
Allerdings sind das lediglich die minimalen CNF-/DNF-Formeln. Beliebige Kombinationen aus and, or, xor und not könnten evt. noch zu kleineren Formeln führen.
greetz
Mike
Forum: Programmieren allgemein
by JasonDX,
12. Dez 2009
Du könntest dir den Quine-McCluskey-Algorithmus angucken. Der ist eine maschinenfreundliche Form der KV-Diagramme und genau für solche Problemstellungen gemacht. Dammit kannst du die kürzeste DNF- bzw. CNF-Formel zu einer gegebenen Wahrheitstabelle berechnen.
greetz
Mike