論理和
From Wikipedia, the free encyclopedia
例
- 「私の身長は 160 cm 以上である」
- 「私の体重は 50 kg 以上である」
の二つの命題の論理和は、
- 「私の身長は 160 cm 以上か、または、私の体重は 50 kg 以上である」
となる。この論理和が真となるのは
- 「私」の身長は 160 cm 以上で、体重は 50 kg 以上
- 「私」の身長は 160 cm 以上で、体重は 50 kg より軽い
- 「私」の身長は 160 cm より低く、体重は 50 kg 以上
のいずれかである。論理和が偽となるのは以下の場合である。
- 「私」の身長は 160 cm より低く、体重は 50 kg より軽い
性質
一般語との乖離
命題 P ∨ Q はしばしば「P または Q」と読まれる。この用語「または」は一般語としての用法より意味が限定的である。
日常会話において「または」と言った場合、例えば P と Q のいずれか一方のみが成り立つことを意味することがある(排他的論理和)。具体例として、レストランにおいて「コーヒーまたは紅茶が付きます」と言えばコーヒーと紅茶のどちらか一方のみが付くことを意味し、両方が付くことは含意しない。
排他的論理和と明確に区別するために、通常の論理和を「包含的論理和」(inclusive OR)と呼ぶこともある。
表記法
論理和(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
のように使用される。
各プログラミング言語における真理値の論理和の表記と意味は、短絡評価と密接な関係がある。
符号位置
| 記号 | Unicode | JIS X 0213 | 文字参照 | 名称 |
|---|---|---|---|---|
| ∨ | U+2228 | - | ∨∨∨ | 論理和 |
