論理和 | Programming Place Plus　用語集

名称

• 論理和　【logical disjunction】
• (同義) 論理OR　【logical OR】
• (省略表現) OR　【OR】

解説

論理演算の１つで、２つの命題のいずれか一方、あるいは両方が真であるときに真となり、それ以外のときには偽となる演算のことです。

プログラミングにおいては、| や or を使って書き表すことが多いです。Ｃ言語や C++ では、単独の | はビット単位の論理和を取ることを表しており、条件式でブール値を必要とするときには || のように | を２つ重ねた演算子を使用します。

Ｃ言語の | については、Ｃ言語編第４９章で、|| については、Ｃ言語編第１３章で取り上げています（C++ でも基本的に同じです）。

たとえば、「変数 x の値が 0以上か？」と「変数 y の値が 0 か？」という２つの命題に対して論理和を取る場合、x >= 0 or y == 0 といった記述になります。いずれか一方の条件式、あるいは両方ともが満たされている場合に、全体として真 (true) になり、両方とも満たされていない場合には偽 (false) になります。