What is the truth value of Pleftrightarrowneg(negP)P \\leftrightarrow \\neg(\\neg P)Pleftrightarrowneg(negP)?
Always True
Always False
Sometimes True
Depends on P