If p ↔ q is true, which compound statement has the same truth value?

A biconditional, p ↔ q, is true when p and q have the same truth value. In that case, each implication is true: p → q and q → p. So the matching statement is “p → q is true and q → p is true.”

AI-written and checked against the verified answer.