Aufgabe:
Seien A,B,C Aussagenvariablen.
(i) Entscheiden Sie mithilfe der Tableaumethode ob
(((A∨B)→B)→B)
eine Tautologie ist.
(ii) Bringen Sie mithilfe von logischen Äquivalenzen die Ihnen bekannt sind, die
((A→B)→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