MODULE FamilieMeier; IMPORT Write; VAR herr, frau, tim, kay, uwe: BOOLEAN; a1, a2, a3, a4, a5: BOOLEAN; BEGIN herr := FALSE; REPEAT frau := FALSE; REPEAT tim := FALSE; REPEAT kay := FALSE; REPEAT uwe := FALSE; REPEAT a1 := ~herr OR frau; a2 := uwe OR kay; a3 := frau # tim; a4 := tim = kay; a5 := ~uwe OR kay & herr; IF a1 & a2 & a3 & a4 & a5 THEN Write.Line("Loesung gefunden:"); IF herr THEN Write.Line("Herr Meier kommt") END; IF frau THEN Write.Line("Frau Meier kommt") END; IF tim THEN Write.Line("Tim kommt") END; IF kay THEN Write.Line("Kay kommt") END; IF uwe THEN Write.Line("Uwe kommt") END; END; uwe := ~uwe; UNTIL ~uwe; kay := ~kay; UNTIL ~kay; tim := ~tim; UNTIL ~tim; frau := ~frau; UNTIL ~frau; herr := ~herr; UNTIL ~herr; END FamilieMeier.