|
![]() ![]() ![]() ![]() ![]() |
![]() | Die Variablen:
| ||||||||||
![]() | Erste Teilaussage:
``Wenn Vater Meier kommt, dann bringt er auch seine Frau mit.'' H => F | ||||||||||
![]() | Zweite Teilaussage:
``Mindestens einer der beiden Söhne Uwe und Kay kommt.'' U ∨ K | ||||||||||
![]() | Dritte Teilaussage:
``Entweder kommt Frau Meier oder Tim.'' F xor T | ||||||||||
![]() | Vierte Teilaussage:
``Entweder kommen Tim und Kay oder beide nicht.'' T <=> K | ||||||||||
![]() | Fünfte Teilaussage:
``Und wenn Uwe kommt, dann auch Kay und Herr Meier.'' U => (K ∧ H) | ||||||||||
![]() | Zusammengefaßt: (H => F) ∧ (U ∨ K) ∧ (F xor T) ∧ (T <=> K) ∧ (U => (K ∧ H)) |
![]() ![]() ![]() ![]() ![]() |
Copyright © 2004, 2005 Andreas Borchert, in HTML konvertiert am 18.02.2005 |