Search for question
Question

Problem 1. Verify that [p → (q→r)] → [(p → q) → (p →r)] is a tautology.

Fig: 1