If the statement P ⟺ QP \iff QP⟺Q is true, what can you determine about PPP and QQQ?
Both must be true.
Both must be false.
They must have the same truth value.
They must have different truth values.