Correct answer: Neither a tautology nor a contradiction
~(p=>q) is equivalent to p AND ~q. Compare with (~p OR ~q): for p=T,q=F both sides are true; for p=F,q=F left is false while right is true. Since the biconditional is true for some rows and false for others, the statement is neither a tautology nor a contradiction.