論理和

数理論理学において論理和（ろんりわ、）とは、与えられた複数の命題のいずれか少なくとも一つが真であることを示す命題を作る論理演算である。離接（りせつ）、選言（せんげん）とも呼ぶ。
二つの命題 に対する論理和は記号 を用いて と表せる。
例.
の二つの命題の論理和は、
となる。この論理和が真となるのは
のいずれかである。論理和が偽となるのは以下の場合である。
性質.
"P" ∨ "Q" は否定と論理積を用いた ¬(¬"P" ∧ ¬"Q") と同じである。従って、論理和は否定と論理積で表せる。
また、論理積は論理和と否定で表せる。
この二つをド・モルガンの法則という。
真理値表.
論理和の真理値表
一般語との乖離.
命題 はしばしば「 または 」と読まれる。この用語「または」は一般語としての用法より意味が限定的である。
日常会話において「または」と言った場合、例えば と のいずれか一方のみが成り立つことを意味することがある（排他的論理和）。具体例として、レストランにおいて「コーヒーまたは紅茶が付きます」と言えばコーヒーと紅茶のどちらか一方のみが付くことを意味し、両方が付くことは含意しない。
排他的論理和と明確に区別するために、通常の論理和を「包含的論理和」（）と呼ぶこともある。
表記法.
論理和(OR) は、中置記法により表記される。
論理学.
formula_1を使用して formula_2 と書く。
電子工学.
　+　記号を使用して formula_3 と書く。
プログラミング言語.
C言語などでは、単なる論理和はcodice_1、ビット単位の論理和はcodice_2で表され、
のように使用される。(注：codice_4 の値は codice_5 である一方、codice_6 の値は codice_7 である。)
Perlでも、単なる論理和はcodice_1、ビット単位の論理和はcodice_2で表され、
のように使用される。(注: codice_4 の値は codice_5 である一方、 codice_6 の値は C言語の場合とは異なり codice_14 である。)
VBScriptでは、「codice_15」で表され、
のように使用される。
各プログラミング言語における論理和の表記と意味は、短絡評価と密接な関係がある。