Logelei in Oberon

FamilieMeier.om

VAR herr, frau, tim, kay, uwe: BOOLEAN; a1, a2, a3, a4, a5: BOOLEAN;

Die BOOLEAN-Variablen herr bis uwe werden so interpretiert, daß bei einem Wert von TRUE die betreffende Person zu Besuch kommt.

Aus Gründen der Übersichtlichkeit stehen die Variablen a1 bis a5 für die Resultate der einzelnen Teilaussagen.

Für eine gegebene Belegung der Variablen herr bis uwe liefert folgender Programmtext die Erkenntnis, ob die Belegung die Gesamtbedingung erfüllt:

FamilieMeier.om

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;

	Die BOOLEAN-Variablen herr bis uwe werden so interpretiert, daß bei einem Wert von TRUE die betreffende Person zu Besuch kommt.
	Aus Gründen der Übersichtlichkeit stehen die Variablen a1 bis a5 für die Resultate der einzelnen Teilaussagen.
	Für eine gegebene Belegung der Variablen herr bis uwe liefert folgender Programmtext die Erkenntnis, ob die Belegung die Gesamtbedingung erfüllt: