The proposition (p⇒∼p)∧(p⇒p) is a
neither tautology nor contradiction
contradiction
tautology and contradiction
tautology
Truth table:
Clearly, (p⇒∼p)∧(~p⇒p) is a contradiction.