修了試験 2017-06-11実施分 基本情報技術者試験 問3

解説

正解は4です。 論理和「X or Y」は、XとYの少なくとも一方が真であれば真になります。 Pが真であることを出発点に、二つの命題が真になる条件を順にたどります。 【選択肢別解説】 1：× Qが偽だと、(not P) or Q は「偽 or 偽」となり偽になるため、条件に反します。 2：× Qが偽なので、選択肢1と同じ理由で (not P) or Q が偽になり、条件に反します。 3：× Qが真でRが偽だと、(not Q) or R は「偽 or 偽」となり偽になるため、条件に反します。 4：○ Pが真なので not P は偽であり、(not P) or Q が真になるにはQが真である必要があります。 Qが真なので not Q は偽であり、(not Q) or R が真になるにはRも真である必要があります。 【ポイント】 (not P) or Q は「PならばQ」と同じ意味の論理式です。 「Pが真、PならばQ、QならばR」と読み替えると、QもRも真だとすぐに分かります。