数理論理学において論理和(ろんりわ、英語: Logical disjunction)とは、与えられた複数の命題のいずれか少なくとも一つが真であることを示す論理演算である。離接(りせつ)、選言(せんげん)とも呼び、ORとよく表す。
二つの命題 P, Q に対する論理和を P ∨ Q と書き、「P または Q」と読む。後述のように、日常会話における「または」とは意味が異なる。 の二つの命題の論理和は、 日常会話において「または」と言った場合、排他的論理和(exclusive OR, XOR)を意味する場合が多い。例えば、レストランにおいて「コーヒーまたは紅茶が付きます」と言えば、通常どちらか一方のみであることを意味する。排他的論理和と明確に区別するために、通常の論理和を「包含的論理和」(inclusive OR)と呼ぶこともある。 P ∨ Q は否定と論理積を用いた ¬(¬P ∧ ¬Q) と同じである。従って、論理和は否定と論理積で表せる。P ∨ Q ⇔ ¬(¬P ∧ ¬Q) また、論理積は論理和と否定で表せる。P ∧ Q ⇔ ¬(¬P ∨ ¬Q) この二つをド・モルガンの法則という。 命題 P命題 QP ∨ Q 論理和(OR) は、中置記法により表記される。 ∨ {\displaystyle \lor } を使用して P ∨ Q {\displaystyle P\lor Q} と書く。 + 記号を使用して A + B {\displaystyle A+B} と書く。「論理回路」も参照 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文字参照名称 NAND ( ↑ {\displaystyle \uparrow } ) 否定 ( ¬ {\displaystyle \neg } ) NOR ( ↓ {\displaystyle \downarrow } )
目次
1 例
2 性質
2.1 真理値表
3 表記法
3.1 論理学
3.2 電子工学
3.3 プログラミング言語
4 関連項目
5 符号位置
例
「私の身長は 160 cm 以上である」
「私の体重は 50 kg 以上である」
「私の身長は 160 cm 以上か、または私の体重は 50 kg 以上である(両方成り立っていてもよい)」
性質
真理値表
真真真
真偽真
偽真真
偽偽偽
表記法
論理学
電子工学
プログラミング言語
関連項目
ORゲート
否定論理和 (NOR)
真理値
真理値表
ブール代数
ブール論理
ブール関数
ベン図
選言標準形
論理回路
加算器
選言三段論法
選言肯定
マスク (情報工学)
符号位置
∨U+2228-∨
∨
∨論理和
表
話
編
歴
論理演算
恒真式 ( ⊤ {\displaystyle \top } )
逆含意 ( ← {\displaystyle \leftarrow } )
IMP ( → {\displaystyle \rightarrow } )
OR ( ∨ {\displaystyle \lor } )
XOR ( ⊕ {\displaystyle \oplus } )
同値 ( ↔ {\displaystyle \leftrightarrow } )
命題
非含意 ( ↛ {\displaystyle \nrightarrow } )
逆非含意 ( ↚ {\displaystyle \nleftarrow } )
AND ( ∧ {\displaystyle \land } )
矛盾 ( ⊥ {\displaystyle \bot } )
更新日時:2018年6月5日(火)11:09
取得日時:2018/12/02 23:12