論理和
出典: フリー百科事典『ウィキペディア(Wikipedia)』
数理論理学において、論理和(ろんりわ)とは、与えられた複数の命題のいずれか少なくとも一つが真であることを示す論理演算である。ORとも表す。
二つの命題 P, Q に対する論理和を P ∨ Q と書き、「P または Q」と読む。
目次 |
[編集] 例
- 「私の身長は 160 cm 以上である」
- 「私の体重は 50 kg 以上である」
の二つの命題の論理和は、
- 「私の身長は 160 cm 以上か、または私の体重は 50 kg 以上である」
[編集] 性質
P ∨ Q は否定と論理積を用いた ¬(¬P ∧ ¬Q) と同じである。従って、論理和は否定と論理積で表せる。
- P ∨ Q = ¬(¬P ∧ ¬Q)
逆に、論理積は論理和と否定で表せる。
- P ∧ Q = ¬(¬P ∨ ¬Q)
[編集] 真理値表
命題 P | 命題 Q | P ∨ Q |
---|---|---|
真 | 真 | 真 |
真 | 偽 | 真 |
偽 | 真 | 真 |
偽 | 偽 | 偽 |
[編集] 関連項目
論理演算 |