Choose the correct alternative:
If p is any statement, then (p ˅ ~p) is a
Contingency
Contradiction
Tautology
None of these