1つ飛びの1と1。緑の3マスは、両方の窓の共有部分です。世界を2つ想像しましょう。緑に「いる」世界では、両方の1が同時に満たされ、窓の残りはぜんぶ×。緑に「いない」世界では、左右の窓が1匹ずつ別々に飼います。どちらの世界でも成り立つことだけを、盤面に書く。これが場合分け——論理学で選言除去と呼ばれる、正式な推論です。

アプリでは、遊んだ日数に応じて1日1本ずつ届きます。

▶ ブラウザでお試し（50問） インストール不要の体験版です。全2000問はアプリで。