次の複雑な論理式を簡約化しなさい: ((A -> B) -> C) -> ((A -> C) | (... - 論理演習

次の複雑な論理式を簡約化しなさい:

((A → B) → C) → ((A → C) ∨ (B → C))