Negation einer Aussage bilden. Meine Wahrheitstabelle gibt mir nicht Recht. Bitte kontrollieren

Question

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?

Answer 1

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

Einzelnegationen.   ( Satz von de Morgan ! )

Comments

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

Jetzt werde ich wenigstens gut schlafen DANKE

Answer 2

¬ ( x ∧ y ) = ¬ x ∨ ¬ y

Deine Negation ist also falsch

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

Answer 3

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

Comments

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.