論理和

数理論理学において論理和（ろんりわ、）とは、与えられた複数の命題のいずれか少なくとも一つが真であることを示す命題を作る論理演算である。離接（りせつ）、選言（せんげん）とも呼ぶ。

二つの命題  に対する論理和は記号  を用いて  と表せる。この記号はラテン語で（非排他的）論理和を意味する vel の頭文字に由来する。また  の形をした命題を選言命題（）、その中に現れる命題  や  を選言肢（）という。

 例 
「私の身長は  以上である」
「私の体重は  以上である」
の二つの命題の論理和は、
「私の身長は  以上か、または、私の体重は  以上である」
となる。この論理和が真となるのは
 「私」の身長は  以上で、体重は  以上
 「私」の身長は  以上で、体重は  より軽い
 「私」の身長は  より低く、体重は  以上
のいずれかである。論理和が偽となるのは以下の場合である。
 「私」の身長は  より低く、体重は  より軽い

 性質 
P ∨ Q は否定と論理積を用いた ¬(¬P ∧ ¬Q) と同じである。従って、論理和は否定と論理積で表せる。
 P ∨ Q ⇔ ¬(¬P ∧ ¬Q)
また、論理積は論理和と否定で表せる。
 P ∧ Q ⇔ ¬(¬P ∨ ¬Q)
この二つをド・モルガンの法則という。

 真理値表 
論理和の真理値表
 命題 P  命題 Q  P ∨ Q            

 一般語との乖離 

命題  はしばしば「 または 」と読まれる。この用語「または」は一般語としての用法より意味が限定的である。

日常会話において「または」と言った場合、例えば  と  のいずれか一方のみが成り立つことを意味することがある（排他的論理和）。具体例として、レストランにおいて「コーヒーまたは紅茶が付きます」と言えばコーヒーと紅茶のどちらか一方のみが付くことを意味し、両方が付くことは含意しない。

排他的論理和と明確に区別するために、通常の論理和を「包含的論理和」（）と呼ぶこともある。

 表記法 
論理和(OR) は、中置記法により表記される。
 論理学 
を使用して  と書く。

 電子工学 
　+　記号を使用して  と書く。

 プログラミング言語 
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

のように使用される。

各プログラミング言語における真理値の論理和の表記と意味は、短絡評価と密接な関係がある。

符号位置
記号UnicodeJIS X 0213文字参照名称

注釈

 関連項目 
論理積
ORゲート
否定論理和 (NOR)
真理値
真理値表
ブール代数
ブール論理
ブール関数
ベン図
選言標準形
論理回路
加算器
選言三段論法
選言肯定
マスク (情報工学)

Category:論理結合子
Category:数学に関する記事