ich habe hier eine Aufgabe, bei der ich einfach nicht auf die richtige Lösung komme.
Die Aufgabe lautet:
$$ ((B\rightarrow \neg A)\rightarrow C)\wedge ((B\vee C)\rightarrow (\neg A\wedge B)) $$
Mein Lösungsversuch sieht so aus:
Kann mir jemand sagen, wo der Fehler liegt?
