Which of these is the law of 'Double Negation'?
negnegPequivP\\neg \\neg P \\equiv PnegnegPequivP
PlorPequivPP \\lor P \\equiv PPlorPequivP
neg(PlorQ)equivnegPlandnegQ\\neg(P \\lor Q) \\equiv \\neg P \\land \\neg Qneg(PlorQ)equivnegPlandnegQ
PlandnegPequivFalseP \\land \\neg P \\equiv FalsePlandnegPequivFalse