This is a tautology question in Implication True -> False is only condition on which False we get so in tautology we have to remove it
We can prove it
Case 1:We find for T->F if we get thn not tautology
else tautology
((P=>Q)^(Q=>R))=>(P=>R)
So tautology