前スレ>>976
同値変形っていうのは、pがあるときp⇒q,q⇒pが言えるようなqを
導き出すことですよね。それをしたとき、なぜ解の集合が一致するのかを
聞いてるのですが・・・