Nächste Seite: Aufgabe 54
Vorige Seite: Aufgabe 52
In dieser Aufgabe bestehe T aus der Konjunktion der folgenden Formeln.

-
Gebe ein
-minimales und ein
-minimales
Modell für T an.

-
Ist T separierbar in
? Begründung!

-
Ist Treffen(x) in T solitär? Begründung!

-
Berechne
.
Christoph Quix, Thomas List, René Soiron
30. September 1996