Hallo uodjt,
die gewählte Minimierungstabelle (mit dieser Achsenbeschriftung) hat den Vorteil, dass es keine redundanten Felder gibt.
Sie entsteht aus eine "normalen" Tabelle mit Zeilen s0 bis s7 und Spalten s0 bis s7, indem nur das Dreieck (links unten) unter der Diagonalen betrachtet wird. Für unsere Zwecke der Überprüfung auf "Nicht-k-Äquivalenz" würden weder die Diagonale (hier würden wir zweimal denselben Zustand auf Äquivalenz überprüfen), noch das "rechte obere Dreieck" (das einfach nochmal die gleichen Informationen wie das links unten enthält) einen Nutzen bringen.
Es gäbe durchaus noch andere Möglichkeiten, Tabellen mit den gleichen Vorteilen zu entwerfen. Der Einfachheit halber würde ich mir aber einfach diese Struktur merken.
Viele Grüße
Jonas (Tutor)