Beweisen dass die folgenden Aussagen Tautologien sind.

Question

Aufgabe:

Beweisen , dass die folgende Aussagen eine Tautologie ist .

1. \( (A \wedge B) \rightarrow(\neg C \vee \neg D) \leftrightarrow \neg(A \wedge B) \vee \neg(C \wedge D) \) 

2. \( (A \wedge B) \leftrightarrow \neg(\neg A \vee \neg B) \)

Problem/Ansatz:

wie kann man solche Aufgaben lösen ?

Könnte mir jemand helfen ?

Answer 1

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.