あー、やっぱりな -- 連休で調子がくるって、まだ何かおかしいよ。 で、少し頭のトレーニングになる話でもしましょうか。 pが論理式で、Aが文とか文の並びだとして、if (p) {A;} else {A;}って書く人はあまりいませんよね、これは単にA;と書いても“同じ”だから。次の3つの表現も事実上“同じ”なのはわかるでしょう。 // その1 if (p) { ; } else { if (q) { A; } } // その2 if (!p) { if (q) { A; } } // その3 if (!p && q) {A;} 次の「その2」はなんだか無意味みたいですが、「その1」と“同じ”です。 // その1 while (p) {A;} // その2 if (p) { A; while (p) {A;} } さて、一般に2つのプログラムコードが“同じ”であることを判定するのは難しいことで