Aussagenlogik

21.10.2012, 21:25

34748051

Aussagenlogik

Meine Frage:
Hallo, könnt ihr mir vielleicht ein wenig helfen?
Habe die Formeln:

$\begin{eqnarray*} a) s= (x\vee -y \vee z)\wedge (-x\vee y\vee -z)\vee z<br /> b) t= -(-u\vee -y\vee z)\wedge (-x\vee -y\vee z)\wedge -(x\wedge y\wedge -z) \end{eqnarray*}$

Diese müssen vereinfacht werden.
Danke im Voraus smile

Meine Ideen:
a) wegen Assoziativ:
$\begin{eqnarray*} s= (-x\vee -y \vee -z)\wedge (x\vee y\vee z)\vee z \end{eqnarray*}$
Dann wegen komplementierung:
$\begin{eqnarray*} s= 0 \vee z -> s=z \end{eqnarray*}$

b) Hier weis ich leider nicht was ich machen soll, da ich auf -y\wedge -y oder so komme und nichts damit anzufangen weis

21.10.2012, 22:38

lgrizu

Auf diesen Beitrag antworten »

RE: Aussagenlogik
Zunächst fehlen Klammern, wie schaut die Aussage a) aus?

1)

$\begin{eqnarray*} s=( (x\vee -y \vee z)\wedge (-x\vee y\vee -z))\vee z \end{eqnarray*}$

oder

$\begin{eqnarray*} s= (x\vee -y \vee z)\wedge( (-x\vee y\vee -z)\vee z) \end{eqnarray*}$ ?

Zitat:

a) wegen Assoziativ:
$\begin{eqnarray*} s= (-x\vee -y \vee -z)\wedge (x\vee y\vee z)\vee z \end{eqnarray*}$
Dann wegen komplementierung:
$\begin{eqnarray*} s= 0 \vee z -> s=z \end{eqnarray*}$

verstehe nicht, wie du darauf kommst.....

21.10.2012, 23:54

34748051

Auf diesen Beitrag antworten »

Aussagenlogik
Zu 1)ich habe mich auch gewundert aber es steht genau so da.
Zu2) naja ich dachte, weil die alle ver-odert sind kann ich die einfach untereinander vertauschen.
Wenn es nicht so ich dann weis ich leider nicht weiter

22.10.2012, 08:49

lgrizu

Auf diesen Beitrag antworten »

RE: Aussagenlogik
Okay, bei 1.) gehen wir einmal davon aus, dass
$\begin{eqnarray*} s=( (x\vee -y \vee z)\wedge (-x\vee y\vee -z))\vee z \end{eqnarray*}$ gemeint ist.

Also zuerst die Klammer auflösen mit dem Distributivgesetz.

Neue Frage »

Antworten »

Aussagenlogik

Verwandte Themen