Michel schrieb:
> Wenn ich jedoch nur den Boolischen Ausdruck habe
> hätte ich Mühe dies zu erkennen. Gibt es hier einen
> Trick?
Nein, leider nicht.
Ziemlich oft funktioniert es ganz gut, wenn man erstmal
die kanonische Normalform herleitet, in der alle Elementar-
konjunktionen ALLE Variablen in negierter oder nicht-
negierter Form enthalten (=Minterme).
Dann fasst man die Minterme wieder zusammen, wobei man
den Trick der Idempotenz verwendet: Wenn ein bestimmter
Minterm mit MEHREREN anderen Mintermen zusammengefasst
werden könnte, dann darf man diesen Minterm so oft in
der Gleichung hinschreiben, wie man ihn braucht -- weil
einfaches Wiederholen von Termen, die sowieso schon in
der Gleichung vorkommen, die Wahrheitswertetabelle nicht
ändert (=Idempotenz).
Es können trotzdem noch Mehrdeutigkeiten auftreten, so
dass man nicht zwingend die kürzeste Form findet.
Für die Handrechung bis 6 Variablen sind Karnaugh-Pläne
sicher das Optimum; für mehr Variablen bzw. für Computer-
implementierung eignen sich z.B. Ternärvektorlisten.