Äquivalenzumformung < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 23:27 Di 08.05.2012 | | Autor: | Parkan |
| Aufgabe | Bilde eine DNF
[mm]((A\Rightarrow B)\wedge(\neg C \Rightarrow D))[/mm] |
Ich habe das jetzt so umgeformt das ich das hier habe
[mm](\neg A \vee B) \wedge ( C \vee \neg D)[/mm]
Wenn ich das richtig verstanden habe darf aber kein UND vorkommen. WIe kriege ich das jetzt weg? Habe mir die Regeln durchgelsen und sehe jetzt nicht welche ich da anwenden kann.
Gruß
Janina
|
|
| |
|
Hallo Janina,
> [mm]((A\Rightarrow B)\wedge(\neg C \Rightarrow D))[/mm]
> Ich habe das jetzt so umgeformt das ich das hier habe
>
> [mm](\neg A \vee B) \wedge ( C \vee \neg D)[/mm]
> Wenn ich das richtig verstanden habe darf aber kein UND
> vorkommen. WIe kriege ich das jetzt weg?
Verwende [mm] $A\wedge B=\neg(\neg(A\wedge B)=\neg(\neg [/mm] A [mm] \vee \neg [/mm] B)$.
LG
|
|
|
|
