Aussagenlogik - DNF - Ausdruck

Neue Frage »

Memo99 Auf diesen Beitrag antworten »
Aussagenlogik - DNF - Ausdruck
Hallo liebe Gemeinde,

ich wurde hierher verwiesen, da die Leute gemeint haben, dass ich hier besser aufgehoben bin smile

Nun zu meiner Frage..

Ich habe eine Aufgabe:



Die Vektorzeichen sollen die Negation darstellen. Die Zweite negation, negiert die Klammer um


Mein Problem ist nur nun, dass ich nicht richtig mit den Klammern und Zeichen umgehen kann.

Ich komme lediglich auf

anstatt auf




Mir würde eine gute Wegbeschreibung wirklich helfen Augenzwinkern

Mfg Memo
kiste Auf diesen Beitrag antworten »

Ohne Rechenweg keine Kontrolle.
Fahrplan: Implikation auflösen, Distributivgesetze

LaTeX-Tip: Nicht ist \lnot, Und ist \land, Oder ist \lor
Memo99 Auf diesen Beitrag antworten »

Ok danke für die Antwort smile

Ich versuche mal meinen Rechenweg hier aufzuschreiben


Erstmal habe ich die Negation hinten in die Klammer gezogen.




Danach habe ich die Implikationen umgewandelt. von (¬a -> b) zu (¬a v b).





Nun hab ich mir gedacht die Klammern vorne kann man weglassen und c reinmultiplizieren



so kam ich dann zum Ergebnis von


a + b + ca + c¬b
kiste Auf diesen Beitrag antworten »

Zitat:
Original von Memo99
Erstmal habe ich die Negation hinten in die Klammer gezogen.

Welche Rechenregel hat dir das erlaubt?

Zitat:
(¬a -> b) zu (¬a v b).

Nö.
Memo99 Auf diesen Beitrag antworten »

sry muss meinen Post bisschen Korrigieren.. bin jetzt an diesem Punkt angelangt ab der Angabe




So ich würde nun per De Morgan Regel die Negation reinziehen in die Klammer


kiste Auf diesen Beitrag antworten »

Ok sieht gut aus.
Zusammen mit
a + b = abc + ab(-c) + a(-b)c + a(-b)(-c) + (-a)bc + (-a)b(-c)
bist du jetzt fertig.
 
 
Memo99 Auf diesen Beitrag antworten »

kannst du den letzten schritt nochmal bitte genauer erläutern wie ich von


auf das Ergebnis komme?
kiste Auf diesen Beitrag antworten »

Distributätsgesetz auf und dasselbe nochmal für b
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »