[p→(q→r)]→[(p→q)→(q→r)] is a tautology where p,q,r are primitive statements

[p→(q→r)]→[(p→q)→(p→r)] is a tautology where p,q,r are primitive statements

[p→(q→r)]→[(p→q)→(r→q)] is a tautology where p,q,r are primitive statements

[p→(q→r)]→[(r→q)→(p→q)] is a tautology where p,q,r are primitive statements

None of the option is correct