を説明することができます：Aは0またはBが0である場合には、* Bはここで0誰もが、私は次の文のためcontrapositiveを構築しようとしているcontrapositive
あるは私の試みです：の場合* Bは、その後、Aが0またはBではない、0でない元のステートメントが真であるが、両方と Bのためには非ゼロでなければならないので、contrapositiveは偽ではない0
れます* Bが非ゼロである...私は何か間違っているのですか？
はい。
「PならばQ」は、「QならばPではない」と反論する。
したがって、Aが0またはBの場合、A * Bは無効です。A * Bが0でない場合、（Aは0またはBが0ではない）ということです。
および "しない（Aは0 0又はBである）" であり、 "A 0 と Bが0でないでない" ので、* Bは、Aはないが、0でない場合contrapositive」がなければなりません0であり、Bは0ではない。ちょうどあなたが期待するもの:-)
はい、間違っています。 NOT（AまたはB）= NOT（A）および NOT（B）。あなたは 'not'を分配するときに 'または' to 'と'を変更することを怠った。 （De Morgan）
メイン "または"をとに変更する必要があります。 http://en.wikipedia.org/wiki/De_Morgan%27s_laws
を参照してくださいので、：* Bが0でない場合、Aは0ではないとBは0
そして、どのように来るそれはC++をタグ付けだではないでしょうか？ –
C++にはロジックがあります.C++を好む人はしばしば挑戦的な質問が好きです（これは非常に難しいとは思いません:)）。 – Kiril
本当のステートメントのcontrapositiveは常に真であることに注意してください。 –