Aufgabe:
Beweisen , dass die folgende Aussagen eine Tautologie ist .
1. (A∧B)→(¬C∨¬D)↔¬(A∧B)∨¬(C∧D) (A \wedge B) \rightarrow(\neg C \vee \neg D) \leftrightarrow \neg(A \wedge B) \vee \neg(C \wedge D) (A∧B)→(¬C∨¬D)↔¬(A∧B)∨¬(C∧D)
2. (A∧B)↔¬(¬A∨¬B) (A \wedge B) \leftrightarrow \neg(\neg A \vee \neg B) (A∧B)↔¬(¬A∨¬B)
Problem/Ansatz:
wie kann man solche Aufgaben lösen ?
Könnte mir jemand helfen ?
Entweder durch Wahrheitswertetafeln ( Bei dem 2. sehr einfach)
oder durch Anwendung von Umformungsregeln.
Wenn ihr schon kennt
X → Y ↔ ( X ∧ Y ) ∨ ¬X
ist das erste einfach eine Anwendung des zweiten.
Ein anderes Problem?
Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos