ド・モルガンの法則だと、後ろの条件式はandではなくorなのでは? ベン図を描いてみたら?