Aufgabe:
Seien \( A, B, C \) Aussagenvariablen.
(i) Entscheiden Sie mithilfe der Tableaumethode ob
\( (((A \vee B) \rightarrow B) \rightarrow B) \)
eine Tautologie ist.
(ii) Bringen Sie mithilfe von logischen Äquivalenzen die Ihnen bekannt sind, die
\( ((A \rightarrow B) \rightarrow C) \)
Formel in KNF. (Geben sie in ihrem Schritt an, was Sie benutzen)
Problem/Ansatz:
leider komme ich bei der Übung nicht weit kann mir da einer helfen
