Aussagenlogische Formeln vereinfachen - Geben Sie die Regel an

Question

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) \)