다음의 매우 복잡한 식을 단순화하시오:

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

이 식은 여러 논리 법칙과 항진명제들을 결합한 것입니다.