Vereinfache den folgenden Term mit Hilfe einer Wahrheitstafel und scharfem Hinsehen, bzw. einem KV-Diagramm:
Lösung(A→B)→((B→C)→(A→C))≡1