>>694
>�@∧�A⇔�A∧�B

ここのときに�Aに文字式x掛けてるから同値性が崩れると
早とちりしたんじゃないかな? 別に間違っていないと思うよ