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