問題 No.2138
2つの命題PとQを用いた論理演算に関する記述のうち、不適切なものはどれか。
【正解の解説】
排他的論理和（XOR）は、PとQの両方が真であるときにも結果が真となる演算である。
日常会話の「コーヒーか紅茶、どちらか一方を選んでください」という排他的な選択に似ています。両方選ぶことは許されないため、PとQの双方が「真」である場合は、結果として「偽」を出力するのが排他的論理和の本質です。
スポンサーリンク
【その他の選択肢の解説】
論理積（AND）は、PとQの少なくとも一方が真であるときに結果が真となる演算である。
「少なくとも一方」という条件は「論理和（OR）」の定義そのものです。「論理積（AND）」は、会議の出席条件で「部長も課長も両方出席すること」のように、すべての条件が揃って初めて真になる厳格なルールを指しています。
論理和（OR）は、PとQの両方が真であるときにのみ結果が真となる演算である。
「両方が真のときにのみ」という条件は「論理積（AND）」の動きです。「論理和（OR）」は「今日のランチにうどんか蕎麦のどちらか（あるいは両方）を食べよう」という気軽な感覚で、一つでも条件を満たせば真になります。
否定（NOT）は、Pが真であるときに偽を、偽であるときに真を出力する演算である。
スイッチのONとOFFをパチンと切り替えるようなもので、現在の状態を180度ひっくり返します。真（True）を渡せば偽（False）に、偽を渡せば真に変換するという非常にシンプルな反転の役割を持っています。