Abb. 57: Konstruktion einer Abdeckung für die ersten zwei Beispiele von K₂ aus Abbildung _56_ mit dem AQ15 Algorithmus.

d=0 1 0 0
   r=1 1 0 0
   P: (A1=0)
   r=0 0 0 0
   P: (A1=0)&(A2=1)
   r=0 1 1 1
   (A3=0), (A4=0)
   P: (A1=0)&(A2=1)&(A3=0), (A1=0)&(A2=1)&(A4=0)
C=(A1=0)&(A2=1)&(A3=0)

d=0 1 1 0
   r=0 1 1 1
   P: (A4=0)
   r=1 1 1 0
   P: (A4=0)&(A1=0)
   r=0 0 1 0
   (A2=1)
   P: (A4=0)&(A1=0)&(A2=1)
C=(A1=0)&(A2=1)&(A3=0)v(A4=0)&(A1=0)&(A2=1)

Durchführung des AQ15 Algorithmus zur Beschreibung der Kategorie K₂ für die ersten zwei Beispiele aus _56_ . Die eingerückten Absätze sind die Berechnung des partiellen Sterns in der Kategorie zu den ausgewählten Beispielen d . & steht für die Durchschnittbildung bzw. AND Verknüpfung. Im letzten Block sind unter P alle Komplexe angegeben, die sich durch die Durchschnittsbildung ergeben.