基本情報技術者試験 - 令和5年1月修了 - 問2

答え ： エ
分野 ： テクノロジ系 › 基礎理論 › 基礎理論 › 離散数学
解説 ：
命題Pの真理値は真であることが分かっています。また「（not P）or Q」が真であるという条件がありますが，Pが真であるためnot Pは偽になります。

論理和は片方が真であれば全体が真になるので，not Pが偽である以上，Qが真でなければこの命題全体が真になりません。したがって，Qは真であると確定できます。

次に「（not Q）or R」が真であるという条件を考えます。Qが真であるためnot Qは偽になり，同じ理由でRが真でなければ全体が真になりません。よってRも真であると分かります。以上より，QとRはどちらも真であり，選択肢「エ」が正解です。

他の選択肢のように，QやRのどちらかが偽であるとすると，条件の論理和が偽になってしまい矛盾が生じます。論理演算の基本である論理和と否定の性質を理解していれば，順を追って真理値を確定できる問題です。