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