Abb. 58: Fertigstellung der Abdeckung für K₂ aus Abbildung _56_ mit dem AQ15 Algorithmus.

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

Fertigstellen der Beschreibung der Kategorie K₂ aus Beispiel _56_ , die in Abbildung _57_ begonnen wurde. Im letzten Block sind unter P zunächst alle Komplexe angegeben, die sich durch die Durchschnittsbildung ergeben. Danach sind nach dem zweiten P die doppelten Komplexe weggelassen.