Eine kleine Logelei II

Die Variablen:

H Herr Meier

F Frau Meier

T Tim

K Kay

U Uwe

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))