先頭へ戻る

論理否定 | Programming Place Plus 用語集

Programming Place Plus トップページ -- 用語集

先頭へ戻る

名称


解説

論理演算の1つで、与えられたある命題が真であるときには偽になり、偽であるときには真になる演算のことです。

プログラミングにおいては、~ や not を使って書き表すことが多いです。C言語C++ では、単独の ~ はビット単位の論理否定を取ることを表しており、条件式ブール値を必要とするときには ! で表される演算子を使用します。

C言語の ~ については、C言語編第49章で、! については、C言語編第13章で取り上げています(C++ でも基本的に同じです)。

たとえば、「変数 x のが 0以上か?」という命題に対して論理否定を取る場合、not (x >= 0) といった記述になります。条件式が満たされている場合にだけ、全体として偽 (false) になり、条件式が満たされていない場合には真 (true) になります。なお、この例でいえば、比較の演算子を反転させた x < 0 と同じ意味です。


参考リンク

更新履歴


用語集のトップページへ

Programming Place Plus のトップページへ



はてなブックマーク に保存 Pocket に保存 Facebook でシェア
Twitter でツイート Twitter をフォロー LINE で送る
rss1.0 取得ボタン RSS 管理者情報 プライバシーポリシー