The proposition p→∼(p∧∼q)
a contradiction
a tautology
either (1) or (2)
neither (1) or (2)
p→∼(p∧∼q) is neither contradiction nor tautology