निम्नलिखित अत्यधिक जटिल व्यंजक को सरल बनाएं:

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

यह कई तार्किक नियमों और tautologies को संयुक्त करता है।