>あるNがあって、n>Nならば…
>って流れは、受験生にはきついだろな。
確かにそれはあるかもしれんな
というか高校で2量子論理式は習うのか?