論理和
C言語などでは、単なる論理和は||、ビット単位の論理和は|で表され、
z = x | y;
のように使用される。(注:2|4 の値は 6 である一方、2||4 の値は 1 である。)
Perlでも、単なる論理和は||、ビット単位の論理和は|で表され、
$z = $x | $y;
のように使用される。(注: 2|4 の値は 6 である一方、 2||4 の値は C言語の場合とは異なり 2 である。)
VBScriptでは、「Or」で表され、
z = x Or y
のように使用される。
各プログラミング言語における論理和の表記と意味は、短絡評価と密接な関係がある。
∨ {\displaystyle \lor } を使用して P ∨ Q {\displaystyle P\lor Q} と書く。
数理論理学において論理和(ろんりわ、英: logical disjunction)とは、与えられた複数の命題のいずれか少なくとも一つが真であることを示す命題を作る論理演算である。離接(りせつ)、選言(せんげん)とも呼ぶ。
二つの命題 P, Q に対する論理和は記号 ∨ を用いて P ∨ Q と表せる。
論理和(OR) は、中置記法により表記される。