Wie kann ich mit Hilfe einer Äquivalenzumformung beweisen, dass dieser Term eine Tautologie ist?

Answer 1

[DrNumerus]

Ok, also mit UND dazwischen wäre es dann sowas wie:

Benutze bei allen Klammern De Morgan. Dann kannst du die ersten beiden und die letzten beiden wieder mit De Morgan zusammenfassen.

Dann hast du sowas:

!((!X OR Y) AND (X OR !Y) OR ...

Was damit passiert ist nichtmal so wichtig, denn:

... OR !(!(X OR Y) AND (X OR Y))

Dies ist immer wahr, da dies der Form !(A AND !A) entspricht. (mit (X OR Y) = A)

Da ein OR dazwischen steht reicht ja die eine Tautologie.

Woher ich das weiß: Studium / Ausbildung

Comments

[NeinDOCHohhhhh]

Hi DrNumerus, ich check es immer noch nicht. Könnt ich Dir ein Bild von der ursprünglichen Aufgabenstellung schicken?

[DrNumerus]

@NeinDOCHohhhhh

klar

Answer 2

[DrNumerus]

Was ist denn zwischen den Variablen? Ist da ein UND? Und wie ist die Klammerung dabei? Das wäre wichtig zu wissen ;)

Woher ich das weiß: Studium / Ausbildung – Physik Studium

Comments

[NeinDOCHohhhhh]

Zwischen den Variablen sind UNDs, Klammerung ist hier nicht notwendig, da UNDs stärker binden als ODERs :)