0 Daumen
1,2k Aufrufe

Die Negation folgender Aussage ist zu bilden:

(p v q) Λ ¬(p  Λ q) (das ist doch ein XOR?)

Meine Lösung:

¬(p v q ) Λ (p Λ q) 


Laut meiner WH_Tabelle hat meine Negation andere Lösungen wie die Grundaussage. Wo ist mein Fehler?


Avatar von

3 Antworten

0 Daumen

¬(p v q ) v (p Λ q)  Negation von und gibt Oder-Verbindung der

Einzelnegationen.   ( Satz von de Morgan ! )

Avatar von 289 k 🚀

Ich glaub für so leichte Sachen ist es einfach schon zu spät ;D ;D

Jetzt werde ich wenigstens gut schlafen DANKE

0 Daumen

¬ ( x ∧ y ) = ¬ x  ¬ y

Deine Negation ist also falsch

Wäre eine böse WT, wenn sie recht gäbe :-)

Avatar von 86 k 🚀
0 Daumen

$$ (p \lor q) \land \overline{(p  \land q) }$$
DeMorgan:
$$ (p \lor q) \land (\overline{p  } \lor \overline{ q })$$

Avatar von

wo ist die Negation?

Die habe ich dem Fragesteller zugetraut, nun eigenständig weiterzuführen.

aber wenn's nu eben verlangt wird:

Negation:
$$ \overline{(p \lor q) \land (\overline{p  } \lor \overline{ q })}$$

Und dann de Morgan anwenden und deine Umformung aus der deiner Antwort wieder rückgängig machen!

Zitat:

(p v q) Λ ¬(p  Λ q) (das ist doch ein XOR?)

---

meine Antwort bezog sich zunächst mal darauf, eine Normalform zu bilden, bevor man Standardgatter vermutet.

Ein wenig hinunherdemorganisieren hat noch niemandem geschadet, der gerade in den Anfängen steckt und nur darauf wartet, dass es jemand vortanzt.

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community