Term in DNF umformen < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 19:55 Do 01.02.2007 | | Autor: | winfi |
| Aufgabe | Bestimmen Sie die DNF für
(a [mm] \wedge \neg [/mm] b) [mm] \vee\ (\neg [/mm] a [mm] \wedge [/mm] b) [mm] \otimes [/mm] a |
Hallo zusammen,
auf den ersten Blick schien die Aufgabe sehr simpel, aber ich bin jetzt doch etwas irritiert, weil das XOR schließlich die höchste "Bindungsstärke" hat.
Jeder plausible Lösungsweg ist akzeptabel. Ich hab es mit einfacher Umformung versucht, bin aber nicht weit gekommen. Wie sieht die endgültige Lösung aus und wie komme ich dort hin?
Mein erster Schritt:
(a [mm] \wedge \neg [/mm] b) [mm] \vee\ (\neg (\neg [/mm] a [mm] \wedge [/mm] b) [mm] \wedge [/mm] a) [mm] \vee (\neg [/mm] a [mm] \wedge\ b)\wedge \neg [/mm] a
,weil a [mm] \otimes [/mm] b = [mm] (\neg [/mm] a [mm] \wedge\ [/mm] b) [mm] \vee [/mm] (a [mm] \wedge \neg [/mm] b) gilt.
Schon im Voraus besten Dank für Eure Hilfe!
Gruß
winfi
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 20:20 Sa 03.02.2007 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
