X 及びY はそれぞれ0 又は1 の値をとる変数である。X □Y をX とY の論理演算としたとき，次の真理値表が得られ…

　　→（1, 0）は 0、（1, 1）は 1 よって X □Y は 1、1、0、1 となり、ウの表と一致します。これは「X ならば Y」（含意、NOT X OR Y）の真理値表です。 【ほかの選択肢】 ア 0、0、0、1（論理積 AND）　誤り 　　→ X＝0 のとき 0 なので、X OR（X □Y）が 0 になってしまう イ 0、1、0、1（Y そのもの）　誤り 　　→（0, 0）で 0 なので、X OR（X □Y）が 0 になる エ 1、1、1、0（否定論理積 NAND）　誤り 　　→（1, 1）で 0 なので、X AND（X □Y）が 0 になる 【見分け方】 「0 AND P＝0」「1 AND P＝P」「0 OR P＝P」「1 OR P＝1」を使うと、それぞれの列から X □Y の値を読み取れます。