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