問題 No.2207
2つの命題PとQに対して、Pが真でありかつQが偽であるときのみ結果が偽となり、それ以外の組み合わせでは常に真となる論理演算（含意：P ⇒ Q）を表す論理式はどれか。
【正解の解説】
NOT P OR Q
「雨が降ったら（P）、地面が濡れる（Q）」という約束を想像してください。「雨が降ったのに地面が乾いている（Pが真かつQが偽）」ケースだけが約束違反（偽）になり、雨が降らなかった場合（Pが偽）は約束の対象外なので無条件でセーフ（真）になります。この「Pでない、またはQである」という構造は、日常の条件付きの約束事を数学的に表現した非常に便利な仕組みです。
スポンサーリンク
【その他の選択肢の解説】
P AND NOT Q
問題文が求めている「偽になる組み合わせ」をそのまま表現してしまった典型的な罠です。「PであってQではない」という状態をそのまま表すため、含意とは逆にP=真かつQ=偽のときだけ結果が真になってしまいます。真理値表の出力結果が正解と真っ二つに分かれるため、条件の向きを逆にとらえていないか注意深く見極める必要があります。
NOT P AND Q
NOT PによってPの真偽を反転させているため、元の命題の組み合わせに対する反応が変わってしまいます。試験ではこのような否定の位置を変えた選択肢が頻出しますが、頭の中で「PがウソでQが本当のときだけ〜」と一つずつ値を代入して検証するクセをつければ、このような巧妙なひっかけ問題も確実に見破ることができるようになります。
P OR NOT Q
正解の選択肢Aと見比べて「NOTの位置が違うだけだから同じでは？」と勘違いしやすい危険なダミーです。NOTがPのかわりにQについているため、条件を満たして偽になるタイミングが全くずれてしまいます。論理演算の式変形では、記号の位置が少し変わるだけで真理値表の出力結果がガラリと変わるため、必ず一つずつ要素を分解して確認する作業が不可欠です。