(P&Q)

Q

((PvP)→~(PvP))

(~P&P), or (~Q&Q), or (~(P&S)&(P&S)), etc.