次の非常に複雑な式を簡約化してください：

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

この式は複数の論理法則とトートロジーを組み合わせています。