Summary: Bergische Universität Wuppertal
Fachbereich C --- Mathematik und Naturwissenschaften
Dr. Holger Arndt
Einführung in die Informatik
(Informatik I --- Teil A)
Sommersemester 2007
4. Übungsblatt
Aufgabe 9 (Konjunktive Normalform, Äquivalenzumformungen, 5 Punkte)
Betrachten Sie folgende ''Logelei``:
''Meiers werden uns heute abend besuchen``, kündigt Herr Müller an. ''Die ganze Familie, also
Herr und Frau Meier nebst ihren drei Söhnen Tim, Kay und Uwe?``, fragte Frau Müller bestürzt.
Darauf Herr Müller, der keine Gelegenheit vorübergehen lässt, seine Frau zum logischen Denken
anzureizen: ''Nein, ich will es dir so erklären: Wenn Vater Meier kommt, dann bringt er auch seine
Frau mit. Mindestens einer der beiden Söhne Uwe und Kay kommt. Entweder kommt Frau Meier
oder Tim. Entweder kommen Tim und Kay oder beide nicht. Und wenn Uwe kommt, dann auch
Kay und Herr Meier. So, jetzt weißt du, wer uns heute abend besuchen wird.``
. Geben Sie eine aussagenlogische Formel für die Logelei an.
. Transformieren Sie die Formel mit Hilfe von Äquivalenzumformungen in konjunktive Nor­
malform und lesen Sie daraus die Lösung des Problems ab.
Aufgabe 10 (NAND­Basis, 3 Punkte)

Source: Arndt, Holger - Fachgruppe Mathematik, Fachbereich Mathematik-Naturwissenschaften, Bergische Universität Wuppertal

Collections: Computer Technologies and Information Sciences