それ俺が解説し終えてるよ。

そうじゃないよ。
p→q かつq→p になるの選ぶだけだよ。