Bool'sche Operatoren(Aussagen) < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 16:59 Di 25.09.2007 | | Autor: | Paul1985 |
| Aufgabe | Formuliere mit den Aussagen [mm] \vee [/mm] , [mm] \wedge [/mm] , [mm] \neg [/mm] , ) , (
1.) Von den Aussagen [mm] A_{1}, A_{2}, A_{3} [/mm] sind genau zwei wahr
2.) Von den Aussagen [mm] A_{1}, A_{2}, A_{3} [/mm] ist mindestens eine wahr
|
Versuche die oben genannte Aufgabenstellung zu lösen...
Mein Ansatz:
zu 1.)
( [mm] A_{1} \wedge A_{2} \wedge \neg A_{3} [/mm] ) [mm] \vee [/mm] ( [mm] A_{1} \wedge A_{3} \wedge \neg A_{2} [/mm] ) [mm] \vee [/mm] ( [mm] A_{2} \wedge A_{3} \wedge \neg A_{1} [/mm] )
"vereinfacht":
(( [mm] A_{1} \wedge (A_{2} \vee A_{3}) \vee [/mm] ( [mm] A_{2} \wedge A_{3} [/mm] )) [mm] \wedge [/mm] ( [mm] \neg A_{1} \vee \neg A_{2} \vee \neg A_{3} [/mm] )
zu 2.)
[mm] \neg [/mm] ( [mm] \neg A_{1} \wegde \neg A_{2} \wedge \neg A_{3} [/mm] )
Gruß und danke,
P
|
|
| |
|
Hallo,
sieht richtig aus. Allerdings finde ich nicht, dass die "Vereinfachung" tatsächlich eine ist.
Hmmm, ich wundere mich, warum in der zweiten Lösung das eine UND-Zeichen fehlt. Du hast es im Quelltext angegeben...
Gruß
Martin
|
|
|
|
