(A⇒B)∧(B⇒C)∧(C⇒A)∧((¬A∧C)∨¬(A∨B))

Hallo liebe Community,

ich bin zurzeit am Lernen für mein Studium, habe jedoch Probleme bei der Vereinfachung von solchen Aufgaben.

Ich habe bereits daran gedacht die Negationen anders aufzuschreiben jedoch hilft mir das nicht wirklich weiter.. wie könnte ich diese Aufgabe schritt zu schritt am besten vereinfachen? (Wahrheitstabelle ist ohne eine Vereinfachung viel zu schwer)