Vereinfachen Sie den folgenden komplexen Ausdruck:
((A → B) → C) → ((A → C) ∨ (B → C))
Die Leitfäden, die erklären, was diese Übung anwendet.
