The following statement (p → q) → [(~p→q)→q] is:

- a tautology
- equivalent to ~p → q
- equivalent to p → ~q
- a fallacy

**Answer**

(p → q) → ((~p → q) → q)

= (p → q) → ((p ∨ q) → q)

= (p → q) → ((~p ∧ ~q) ∨ q)

= (p → q) → ((~p ∨ q) ∧ (~q ∨ q))

= (p → q) → (~p ∨ q)

= (p → q) → (p → q)

= T

**The correct option is A.**