Aufgabe:
Vereinfachen Sie die folgenden aussagenlogischen Formeln:
Hinweis: Geben Sie die Regeln an, die Sie für die Umformung nutzen.
a) \( (A \rightarrow B) \leftrightarrow(B \rightarrow A) \)
b) \( ((A \rightarrow B) \rightarrow C) \mapsto((B \rightarrow C) \rightarrow A) \)
c) \( (A \rightarrow B) \rightarrow(A \rightarrow \neg B) \)
