0 Daumen
495 Aufrufe

Ich soll folgendes durch Umformung zeigen:

(ab)=((ab)(ab))(a\leftrightarrow b) = ((a \vee b) \rightarrow (ab))

Mein Ansatz war jetzt folgender (ich fange an den linken Teil umzuformen):

=(abba)=abbaaabb=a(ab)b(ab)=(a\rightarrow b \wedge b \rightarrow a) \\ = a \rightarrow b \wedge b \rightarrow a \wedge a \rightarrow a \wedge b \rightarrow b \\ = a \rightarrow (a \wedge b) \wedge b \rightarrow (a \wedge b)

Weiter komme ich aber leider nicht, da ich nicht weiß wie ich dieses "oder" auf der rechten Seite bekomme. Habe ich irgendwo einen Denkfehler gemacht?

Avatar von

1 Antwort

+1 Daumen
 
Beste Antwort

Verwende  (ab)=(¬ab) (a \rightarrow b) = (¬a ∨ b )

Ich würde einmal mit dem rechten und einmal mit dem linken beginnen:

abbaa\rightarrow b \wedge b \rightarrow a\\

= ( ¬a ∨ b)  ∧ (¬b ∨ a)

= ( ¬a   ∧ ¬b  )  ∨  ( ¬a   ∧ a  )   ∨  ( b   ∧ ¬b  )   ∨  ( a   ∧ b  )

= ( ¬a   ∧ ¬b  )   ∨  ( a   ∧ b  )

und entsprechend

(ab)(ab) (a ∨ b) \rightarrow (a \wedge b)

=¬(ab)(ab)\\= ¬(a ∨ b) ∨ (a ∧ b)

Dann de Morgan anwenden  gibt

=(¬a¬b)(ab)\\= (¬a ∧ ¬b) ∨ (a ∧ b)

=  (¬a  ∧ ¬b)  ∨  (a  ∧ b)

Bingo !

Avatar von 289 k 🚀

Ein anderes Problem?

Stell deine Frage