The proposition ~(p⇒q)⇒(~p∨~q) is
a Tautology
a Contradiction
either (a) or (b)
neither (a) nor (b)
By truth table
Hence, given proposition is a tautology.