Äquivalenzklassen/Logische Trennung/Z mod 4/Aufgabe