Beweisen dass Ausdruck (t1→(t2→t3))→((t1→t2)→(t1→t3)) Tautologie ist

Question

Grüß euch!

Aufgabe:

Beweise mit Anwendung der Booleschen Gesetze (ohne Wertetabelle),dass der folgende Ausdruck eine Tautologie ist.

(t1→(t2→t3))→((t1→t2)→(t1→t3))

Problem:

hab versucht durch Äquivalenzumformungen, geht aber irgenwie bei mir nicht. Vielleicht könnte jemand mir einen Tipp geben ?

Ich dank euch Ü

Answer 1

Zur Vereinfachung werden t1,t2 und t3  durch a,b,c ersetzt.

Auf Klammersetzung ist zu achten !

Comments

Ich danke dir! Hab am Anfang genau diesen Weg gewählt, konnte aber bei einem Punkt nicht weiter kommen.