logische formel vereinfachen < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Aufgabe
Vereinfachen Sie die folgende logische Formel so weit wie möglich.
($ [mm] \neg [/mm] $ A [mm] \vee [/mm] ($ [mm] \neg [/mm] $($ [mm] \neg [/mm] $ A [mm] \vee [/mm] C ))) [mm] \wedge [/mm] ($ [mm] \neg [/mm] $ A [mm] \vee [/mm] B) |
Halli Hallo,
leider komme ich bei der obenstehenden Aufgabe nicht weiter... Habe zwar schon einen Ansatz, weiß nicht, ob es noch mehr vereinfachen kann bzw. schon Fehler drin sind... Bitte um Mithilfe.
($ [mm] \neg [/mm] $ A [mm] \vee [/mm] ($ [mm] \neg [/mm] $($ [mm] \neg [/mm] $ A [mm] \vee [/mm] C ))) [mm] \wedge [/mm] ($ [mm] \neg [/mm] $ A [mm] \vee [/mm] B)
($ [mm] \neg [/mm] $ A [mm] \vee [/mm] ($ [mm] \neg [/mm] $ A [mm] \wedge [/mm] C )) [mm] \wedge [/mm] ($ [mm] \neg [/mm] $ A [mm] \vee [/mm] B)
($ [mm] \neg [/mm] $ A [mm] \vee [/mm] $ [mm] \neg [/mm] $ A) [mm] \wedge [/mm] ($ [mm] \neg [/mm] $ A [mm] \vee [/mm] C ) [mm] \wedge [/mm] ($ [mm] \neg [/mm] $ A [mm] \vee [/mm] B)
($ [mm] \neg [/mm] $ A) [mm] \wedge [/mm] ($ [mm] \neg [/mm] $ A [mm] \vee [/mm] C ) [mm] \wedge [/mm] ($ [mm] \neg [/mm] $ A [mm] \vee [/mm] B)
($ [mm] \neg [/mm] $ A [mm] \wedge [/mm] $ [mm] \neg [/mm] $ A) [mm] \vee [/mm] ($ [mm] \neg [/mm] $ A [mm] \wedge [/mm] C ) [mm] \wedge [/mm] ($ [mm] \neg [/mm] $ A [mm] \vee [/mm] B)
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 17:26 Do 03.05.2007 | | Autor: | wauwau |
[mm] (\neg [/mm] A [mm] \vee (\neg(\neg [/mm] A [mm] \vee [/mm] C))) [mm] \wedge (\neg [/mm] A [mm] \vee [/mm] B)
[mm] (\neg [/mm] A [mm] \vee [/mm] (A [mm] \wedge \neg [/mm] C)) [mm] \wedge (\neg [/mm] A [mm] \vee [/mm] B)
[mm] ((\neg [/mm] A [mm] \vee [/mm] A) [mm] \wedge (\neg [/mm] A [mm] \vee \neg [/mm] C)) [mm] \wedge (\neg [/mm] A [mm] \vee [/mm] B)
[mm] (\neg [/mm] A [mm] \vee \neg [/mm] C)) [mm] \wedge (\neg [/mm] A [mm] \vee [/mm] B)
[mm] \neg [/mm] A [mm] \vee (\neg [/mm] C [mm] \wedge [/mm] B)
|
|
|
| |
|
Könnten Sie mir bitte noch kurz erklären wie man von der
$ [mm] ((\neg [/mm] $ A $ [mm] \vee [/mm] $ A) $ [mm] \wedge (\neg [/mm] $ A $ [mm] \vee \neg [/mm] $ C)) $ [mm] \wedge (\neg [/mm] $ A $ [mm] \vee [/mm] $ B)
auf diese kommt?
$ [mm] (\neg [/mm] $ A $ [mm] \vee \neg [/mm] $ C) $ [mm] \wedge (\neg [/mm] $ A $ [mm] \vee [/mm] $ B)
und dann auf
$ [mm] \neg [/mm] $ A $ [mm] \vee (\neg [/mm] $ C $ [mm] \wedge [/mm] $ B)
Danke
|
|
|
| |
|
Hallo Monsterman,
> Könnten Sie mir bitte noch kurz erklären wie man von der
>
> [mm]((\neg[/mm] A [mm]\vee[/mm] A) [mm]\wedge (\neg[/mm] A [mm]\vee \neg[/mm] C)) [mm]\wedge (\neg[/mm]
> A [mm]\vee[/mm] B)
>
> auf diese kommt?
>
> [mm](\neg[/mm] A [mm]\vee \neg[/mm] C) [mm]\wedge (\neg[/mm] A [mm]\vee[/mm] B)
die Aussage [mm] $\neg A\vee [/mm] A$ ist immer wahr, also tautologisch, darum kannste die weglassen
> und dann auf
>
> [mm]\neg[/mm] A [mm]\vee (\neg[/mm] C [mm]\wedge[/mm] B)
Hier wird distributiv ausgeklammert
> Danke
LG
schachuzipus
|
|
|
|
