Warum steht in der Musterlösung?
2−Äquivalenz{s0,s3},{s1,s5},{s2},{s4}
Kann man nicht an der Minimierungstabelle ablesen, dass {s2,s5} 2-äquivalent sind?