Boolesche Terme < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Drei Vertreter (A,B,C) sollen vier Kunden (w,x,y,z) unter sich aufteilen. Die Vertreter starten aus einem Hauptquartier, von dem aus die Weglänge von w zu z zunimmt. Jeder Kunde soll besucht werden, und jeder Vertreter soll auch etwas zu tun haben. Dabei sind jedoch folgende Wünsche zu berücksichtigen:
1) A möchte nicht w besuchen.
2) B möchte nur einen Kunden besuchen.
3) C möchte nicht z besuchen.
4) A möchte, dass C mindestens eine längere Fahrt hat als er selbst.
Drücken Sie nun diese Bedingungen durch Boolesche Terme aus. Dabei soll z.B. (A,x)==1 bedeuten, dass Vertreter A den Kunden x besucht. Überprüfen Sie, ob es für die Konjunktion dieser Terme eine erfüllende Belegung gibt, und ob diese eindeutig ist. |
Ich habe das Problem, gar nicht zu wissen, wie man nun mathematisch korrekt an dieses Problem herangehen soll.
Ich habe diese Frage auch in folgenden Foren auf anderen Internetseiten gestellt, dort allerdings keine Antwort erhalten:
[http://matheplanet.com/default3.html?user]
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 18:20 Di 10.11.2009 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
