問題 No.2772
2つの命題PとQを用いた論理演算において、論理和（OR）の法則に関する記述のうち、常に成立するものはどれか。
【正解の解説】
P OR Pの結果はPとなり、P OR 1の結果は常に1となる。
論理和（OR）は「どちらか一方が真（1）なら結果も真」という、居酒屋で「誰か一人がビールを頼めばテーブルにビールが届く」ような仕組みです。自分自身と同じ条件を重ねても結果は自分のままであり、絶対に真を返す「1」と一緒にすると、もう結果は問答無用で必ず「1（真）」になってしまうのです。
スポンサーリンク
【その他の選択肢の解説】
P OR Pの結果はPとなり、P OR 0の結果は常に0となる。
「0」は偽を表します。何もない状態（0）とPを足し合わせても、Pが真であれば結果は真（1）になります。したがって「常に0になる」という記述は、論理和を論理積（AND）や否定の性質と混同させるための典型的な引っ掛けパターンなので注意が必要です。
P OR Pの結果は1となり、P OR 1の結果は常にPとなる。
同じ条件同士を足しても結果は元の条件のままであり、決して強制的に1にはなりません。また、絶対に真を返す「1」と何かをOR演算すると、結果は必ず強制的に「1」になってしまいます。真逆のルールが記載されているため、論理演算の基本原則をしっかり復習しましょう。
P OR Pの結果は0となり、P OR 0の結果は常にPとなる。
同じ条件の論理和が0になるのは排他的論理和（XOR）や誤った認識です。また、Pと0の論理和は常に0になるわけではなく、Pの真偽値がそのまま結果に反映されます。初学者が暗記だけで乗り切ろうとした際に、他の演算ルールとごちゃ混ぜになりやすい危険な選択肢です。