QUESTION 36
論理型の変数A、Bに対して、not (A and B)と常に同じ真偽値になる式はどれか。notは否定、andは論理積、orは論理和を表す。
出典：本サイト オリジナル教材（2026年）
本サイトで独自に作成。IPAの試験問題からの転載ではありません。
公開日：
選択肢を選んで、答え合わせをしましょう。
回答せずに正解・解説を確認する
正解：エ (not A) or (not B)
この表示だけでは、回答数や正答率は変わりません。
解説
「AとBが両方とも真ではない」という条件は、「Aが偽、またはBが偽」と同じです。したがって(not A) or (not B)になります。ド・モルガンの法則では、かっこの外の否定を中へ移すと、それぞれを否定し、andとorを入れ替えます。
ア
これはAもBも偽の場合だけ真になります。元の式は片方だけが偽の場合も真です。
イ
AとBが両方とも真のとき、この式は真ですが元の式は偽です。
ウ
Aが偽の場合、この式は偽ですが元の式はBに関係なく真です。
エ
AかBの少なくとも一方が偽という、元の式と同じ条件です。
関連知識
もう一つの形はnot (A or B) = (not A) and (not B)です。式変形に不安があるときは、AとBの4組の真偽値をすべて代入して一致を確かめます。
間違えやすいポイント
変数を否定するだけでandをそのまま残すと誤ります。演算子の入替えも必要です。
覚え方
否定を配ると、ANDとORが入れ替わる。
実務での意味
入力条件の否定やアクセス拒否条件を読みやすく書き直す際に使います。
解説：本サイト編集部によるオリジナル文章