The proposition S:(p⇒q)⇔(~p∨q) is
a tautology
a contradiction
either (a) or (b)
neither (a) nor (b)
Since, all values of, given proposition is true, hence it is a tautology.