What is the truth value of PleftrightarrownegPP \\leftrightarrow \\neg PPleftrightarrownegP?
Depends on P
Always False (Contradiction)
Always True
Undefined