If p ⟺ qp \iff qp⟺q is True, which of the following must be correct?
ppp and qqq have different truth values.
ppp is True and qqq is False.
ppp and qqq have the same truth value.
Both ppp and qqq must be True.