Prove the given expression is a tautology by developing a series of logical equivalence to demonstrate that it is logically equivalent to t. [(p → q) λ (q → r)] → (p → r).