Logicmedium
0:00.0

If the statement P    QP \iff Q is true, what can be inferred about PQP \oplus Q?