Die Projektleiterin Emma Esel muss für die Entwicklung eines neuen Produktes ein Team zusammenstellen. Zur Verfügung stehen ihr die Mitarbeiter Anton Ast, Bernd Braun, Christian Chaos und der Daniel Denker.
Es bestehen folgende Einschränkungen bei der Zusammenstellung:
1) Emma will nicht allein am Projekt arbeiten
2) Weil Bernd und Daniel immer streiten, dürfen sie nicht gemeinsam am Projekt arbeiten
3) Da Emma sich nicht so gut mit Christian versteht, möchte sie nicht mit ihm allein am Projekt arbeiten
4) Wenn Bernd zusammen mit Christian am Projekt arbeitet, dann lästern die beiden über die Arbeit und die Ideen von Anton, falls dieser auch dabei ist. Emma möchte aber eine Lästerfreie arbeit garantieren.
Gegeben sind nun die atomaren Formeln A="Anton arbeitet mit", B="Bernd arbeitet mit", C="Christian arbeitet mit", D="Daniel arbeitet mit".
Stelle die vier obigen Bedingungen jeweils mithilfe einer Formel dar.
Was ich bereits habe (aber nicht sicher bin ob es stimmt):
1) (A v B v C v D)
2) ((B Λ ¬D) v (¬B Λ D))
3) (C Λ (A v B v D))
4) ((B Λ C) Λ ¬A)) v (A Λ ¬(B Λ C))
Unsicher bin ich mir auch, ob man E auch einbeziehen muss, da nur A,B,C,D als Atomare Formeln gegeben sind.
Da ich mir nicht sicher bin, ob diese Formeln so stimmen, oder ob dabei noch etwas fehlt, bin ich für jede Hilfe dankbar.
