>>424
同値な変形ではないな
ほぼ同じレスが既に出てるだろ

君は「変形」って言葉から少し離れたほうがいいよ
「p⇔q は同値な変形である」というのはとどのつまり
「p と qは同値である」ということだから