0 Daumen
319 Aufrufe

Aufgabe:

Beweisen , dass die folgende Aussagen eine Tautologie ist .

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

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

Problem/Ansatz:

wie kann man solche Aufgaben lösen ?

Könnte mir jemand helfen ?

Avatar von

1 Antwort

0 Daumen

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.

Avatar von 289 k 🚀

Ein anderes Problem?

Stell deine Frage