What is the truth value of PoplusPP \\oplus PPoplusP?
Always True
Undefined
Always False
Depends on P