Logichard
0:00.0

If PQP \leftrightarrow Q is true, what can we say about the truth values of PP and QQ?