Aussagenlogik < Sonstige < Schule < Informatik < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 17:19 Do 07.10.2010 | | Autor: | RWBK |
| Aufgabe | | Man stelle die Äquijunktion nut durch das Und und die Negation dar. Verwende hierzu die Boolesche Algebra. |
Da habe ich mir jetzt einfach zu aufgeschrieben
[mm] \overline{x} [/mm] * [mm] \overline{y} \gdw \overline{x} [/mm] * [mm] \overline{y}
[/mm]
Habe ich somit die Fragegestellung richtig interpretiert??
MFG RWBK
|
|
| |
|
Hallo RWBK,
> Man stelle die Äquijunktion nut durch das Und und die
> Negation dar. Verwende hierzu die Boolesche Algebra.
> Da habe ich mir jetzt einfach zu aufgeschrieben
>
> [mm]\overline{x}[/mm] * [mm]\overline{y} \Rightarrow \overline{x}[/mm] * [mm]\overline{y}[/mm]
>
>
>
> Habe ich somit die Frage gestellung richtig
> interpretiert?
Ich denke nicht, du sollst doch [mm]x \ \gdw \ y[/mm] ausschließlich durch [mm]\wedge[/mm] und [mm]\neg[/mm] darstellen, da hat ein [mm]\Rightarrow[/mm] nichts zu suchen!
Geh's mal so an [mm]x\gdw y \ \equiv \ (x\Rightarrow y) \ \wedge \ (y\Rightarrow x)[/mm]
Nun verneine die beiden Implikationen doppelt ...
>
> MFG RWBK
Gruß
schachuzipus
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 17:31 Do 07.10.2010 | | Autor: | RWBK |
Das war nur ein Tippfehler. Müsst nach der korrektur jetzt aber richtig sein oder?
RWBK
|
|
|
| |
|
Hallo nochmal,
> Das war nur ein Tippfehler. Müsst nach der korrektur jetzt
> aber richtig sein oder?
Es ist ja eher noch "falscher" 
Es darf nur die Negation und die Und-Verknüpfung verwendet werden, so steht's in der Aufgabe. Du hast nen dicken Äquivalenzpfeil in der Mitte ...
>
> RWBK
Gruß
schachuzipus
|
|
|
|
