Die letzten 5 Beiträge |
Karlito |
Hallöchen,
Zauberformel: De Morgan
Am besten den betreffenden Term doppelt negieren und die eine Negation nach De Morgan auflösen (da bekommst du die Oder-Verknüpfungen weg).
VG,
Karlito |
Rolf |
Ok, ich hab eine weitere Aufgabe wo ich Feststecke.
Gesucht ist ein aussagenlogischer Ausdruck, der äquivalent ist zu:
- (y oder (x <-> (x <-> y oder z)))
Verwendet werden dürfen (Negation und UND)
Ich hab erstmal die Äquivalenz entfernt: <-> ist das selbe wie A > B und B > A
- (y oder ((x -> y oder z) und (y oder z -> x)))
Jetzt hab ich die Subjunktionen entfernt: A -> B ist das selbe wie - ( A und -B)
- (y oder ((- (x und -(y oder z)) und (-(y oder z und (-x))))
So jetzt müssen die ODERs nur noch weg..
Wie kann ich mit Negation und Und ein Oder ausdrücken?
Irgendwie steh ich wieder auf dem Schlauch. |
Rolf |
Stimmt die Wahrheitstabelle hab ich falsch aufgeschrieben.
Aha :-) und danke für den Link |
Karlito |
Hallöchen,
deine Wahrheitstabelle ist falsch.
Schau dir mal die Bildung der KNF und DNF anhand einer Wahrheitstabelle an. (Wikipedia)
Schätze du wirst bei der Bildung der KNF einen Aha-Effekt haben.
VG,
Karlito |
Rolf |
Äquivalenten Ausdruck finden
Meine Frage:
Hi,
In meinen Übungsaufgaben soll ich einen Äquivalenten Ausdruck zu folgender Formel finden:
a -> b
Meine Ideen:
Jetzt bin ich mir über die Herangehensweise nicht sehr klar.
Ich hab zuerst eine Wahrheitstabelle gemacht:
a b
1 1 1
1 0 1
0 1 0
0 0 1
Also ich suche jetzt eine Formel die genau die selben "Endergebnisse" hat?
Zu der Aufgabe ist noch die Baumstruktur gegeben und die Formel soll noch die Bedingung erfüllen: Negation und Konjunktion verwenden.
Wie geht man da vor wenn man eine Äquivalente Formel finden will?
Irgendwelche Möglichkeiten ausprobieren wird ja kaum Sinn der Aufgabe sein?
mfg |