If P ⟺ QP \iff QP⟺Q is true, what can we conclude about their truth values?
They must have the same truth value
They must both be true
They must both be false
They must have different truth values