Bedingungsmatrix vs. Kontrollstrukturen (Verzweigungsbaum minimieren?)

[Phoenix (Gast)]

Als Nichtinformatiker frage ich mich, ob es eine Methode gibt, eine 
Matrix/Tabelle mit verschiedenen Eigenschaften (Spalten) mit einer 
minimalen Zahl einfacher Verzweigungen abzubilden.

Dazu ein Beispiel:

x  A B C
1  1 7 3
2  5 7 2
3  0 1 6

Die Eigenschaften (Bedingungen) einer Zeile haben einen begrenzten 
Wertebereich unterschiedlichen Typs, im Grunde könnte man aber alles 
auch binär darstellen.

Alerdings sind die Operatoren und ihre Argumente sehr stark begrenzt 
(grafische SPS-Programmierung), d.h. ein

IF (x == 1) and (A == 1) and (B== ...

ist nicht möglich und muss verschachtelt (sequentiell geprüft) werden.

Meine Überlegung war nun, ob man die (Anzahl der) Prüfung(en) durch 
Nutzung der Gemeinsamkeiten reduzieren (optimieren) kann, z.B.

IF (B == 7) THEN
  IF (A == 1) THEN
    IF (C == 3) THEN
      IF (x == 1) THEN
        ..
      END IF 
    END IF 
  END IF
  IF (A ...
  END IF
END IF

Gegenüber der ersten Abfrage von x spart mir das eine Abfrage (wow).

Ich gehe davon aus, dass es ein Konzept gibt, das mein Problem besser 
und ausführlicher beschreibt - aber ich weiß nicht, wonach ich suche.. 
Stichworte und Links gerne gelesen!

[K. B. (kbf)]

Schau mal nach Karnaugh-Veitch Minimierung.

[Phoenix (Gast)]

Danke, klingt gut: http://de.wikipedia.org/wiki/Karnaugh-Veitch-Diagramm

[Johann L. (gjlayde)]

Am effizientesten und übersichtlichsten liest man die Daten aus einem 
2-dimensonalen Array aus, hier in C dargestellt:

const int werte[][] = 
{
  { 1, 7, 3 },
  { 5, 7, 2 },
  { 0, 1, 6 }
};

int get_wert (int zeile /* 1..3 */, int spalte /* 'A'..'C' */)
{
   return werte[zeile - 1][spalte - 'A'];
}