>>533
正しくは"(not A) または (B)"。

>>536
>  「A⇒B」＝「AはBの十分条件である」ということであろうと結論付けました。
…だからその「十分条件」の意味を調べろと。