Hallo,
eine Frage zur Musterlösung der Aufgabe: Hier werden die a's und b's jeweils als solche in den Keller geschrieben. Wäre es auch ausreichend, in beiden Fällen ein a in den Keller zu schreiben, um die a's und b's zu "zählen"? Dass tatsächlich jeweils mindestens ein a, b, c und d vorhanden ist, ließe sich ja auch über Zustände sicherstellen.