>>458 元の解答のままでも致命的な問題にはなってないと思うが。
i-i) y≠0,1 かつ a=1
i-ii) y≠0,1 かつ a≠1
ii) y=1 (結果としてa=0)
iii)y=0 (結果としてa=0)
形式上はちゃんと排反になるように場合わけされてるし、お咎めなしか
些細な減点だけで済むと思うけど。

どうしても気持ち悪いなら、条件をもう一度整理して見直す癖をつけるか。
実質的にaとyとの組み合わせで分類していることに気づければ、
a=0の場合はa≠1の場合に含まれることから、あらたにa≠1だけで
統合できるところまでたどり着けるんでないかい。

なおスレチだが、WindowsXPならpngデータをドラッグ&ドロップででも使って
標準アクセサリのペイントで開いて、形式指定して保存すればjpegにできる。

Windows2000/MeでもOffice2000(付属のMS Photo Editorかも)が
入ってれば、同様にペイントでjpegやpngを開いたり保存できたりしたと思う。