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

出典:wikipedia