【正解の解説】
排他的論理和(XOR)は、2つの命題PとQの両方が真であるときに結果が真となる演算である。
排他的論理和(XOR)は、日常会話で言う「AかBのどちらか一方だけ」という状況を表します。例えば、右を向くか左を向くかどちらか一方だけは選べますが、両方同時に向くことはできません。したがって、両方とも真(正しい)のときは、結果は偽(間違い)になります。選択肢の説明は論理積の特徴と混同しているため、ここが試験でよく狙われるひっかけポイントとなります。
【その他の選択肢の解説】
論理積(AND)は、2つの命題PとQの少なくとも一方が真であるときに結果が真となる演算である。
論理積(AND)は「両方がともに真」であるときだけ結果が真になる厳格な条件です。例えるなら「英語のテストが80点以上かつ数学も80点以上の人のみ合格」という条件であり、片方だけでは不合格になります。「少なくとも一方が真」という記述は、完全に論理和(OR)の定義そのものであり、ANDとORの言葉の定義をわざと入れ替えて受験者を混乱させる典型的な出題パターンです。
論理和(OR)は、2つの命題PとQの両方が偽であるときに結果が偽となる演算である。
論理和(OR)は日常の「AまたはB」と同じ感覚で使えます。例えば「100円以上の所持金があるか、またはクレジットカードを持っている」という条件なら、どちらか片方満たしていれば買い物ができます。したがって、両方とも持っていない(両方偽)状態のときだけ、結果が偽(買い物ができない)になります。この仕組みは直感的に理解しやすいため、論理演算の基本として確実に押さえておく必要があります。
否定(NOT)は、命題Pが真であるときに結果が偽となり、偽であるときに結果が真となる演算である。
否定(NOT)は、スイッチのオンとオフをパチッと切り替えるようなものです。「今日が晴れである」という命題に対して「今日が晴れではない」とひっくり返します。真(1)であれば偽(0)に、偽(0)であれば真(1)に必ず反転させるという単純明快なルールを持っています。他の複雑な論理演算の基礎パーツとしても頻繁に登場するため、真偽が逆転するという本質を確実に覚えておきましょう。