A は t2 以降が 0 のままで、t3–t4 区間が 1 となるべき NAND の結果（1,1,0,1）と一致しない。

C は t0–t1 で 0 となっており、この区間は (X,Y)=(0,0) なので NAND 出力は 1 であるはず。よって一致しない。

D は t1–t2 が 0 になっているが、この区間は (X,Y)=(1,0) で NAND は 1。したがって一致しない。

E は t3–t4 が 0 になっているが、この区間は (X,Y)=(0,1) で NAND は 1。よって一致しない。

$本回路の機能はY=\overline{A+B}（NOR）であり、AまたはBにHが入るとトランジスタが導通してYはL、A=B=LのときのみYがHとなる。この選択肢の論理はこれと一致しないため不正解。$

$本回路はダイオードで入力のいずれかがHのときベースに電流が流れてトランジスタがオン、出力YはLとなり、両入力がLのときのみYがHとなる。すなわちY=\overline{A+B}（NOR）。本選択肢は本回路と同じ機能ではないため不正解。$

$本回路はNOR動作（Y=\overline{A+B}）で、A=B=LのときのみH、AまたはBがHのときはLとなる。排他的論理などNOR以外の論理とは真理値が一致しないため不正解。$

$本回路の真理値はNOR（Y=\overline{A+B}）であり、入力のいずれかがHのとき出力はLになる。論理和そのもの（A+B）などNOR以外の論理とは一致しないため不正解。$

$\bar{A}\cdot(B+C)$ は A の外側で B または C に属する領域を表す。図の網掛けはすべて A の内部であるため一致しない。

$A\cdot\overline{(B+C)}$ は A に属し、かつ B にも C にも属さない部分（A 単独の部分）を表す。図では A∩B および A∩C の一部が網掛けで、A 単独は含まれないため不適。

$A+\bar{B}\cdot\bar{C}$ は A の全域に加え、B にも C にも属さない外側領域（\bar{B}\cdot\bar{C}）まで含む。図の網掛けは A 内の一部のみであり、外側領域や A の単独部分も含まないため不一致。

$\bar{A}\cdot(\bar{B}+\bar{C})$ は主に A の外側の領域を含む式で、図の網掛け（A 内のレンズ形部分）とは逆方向の領域となるため不適。

F=AND のとき $X=Y_1\cdot Y_2$。$Y_1=A\overline{B}$ と $Y_2=\overline{A}B$ は同時に1にならないため $Y_1\cdot Y_2=0$ となり、真理値表（00と11で1）に一致しない。

F=OR のとき $X=Y_1+Y_2=A\oplus B$ となる。これは 01,10 で1になるXORであり、与えられた真理値表（XNOR）と不一致。

F=NAND のとき $X=\overline{Y_1\cdot Y_2}=\overline{0}=1$ で常に1となり、01と10で0になる真理値表に合わない。

F=XOR のとき $X=Y_1\oplus Y_2$。$Y_1$ と $Y_2$ は排他的に1となるため $Y_1\oplus Y_2=Y_1+Y_2=A\oplus B$ であり、与えられた真理値表（XNOR）と一致しない。

誤り。式は $A$ に等しいため、$B=1$ であっても $A$ が $0$ なら式は $0$。反例として $A=0, B=1$ では $AB + A\overline{B}=0\cdot 1 + 0\cdot 0=0$。

誤り。簡略化すると式は $A$ に等しく、$A$ の値に依存する。$A=1$ で $1$、$A=0$ で $0$ となるため「A、Bによらない」は成り立たない。

誤り。$A=0, B=1$ を代入すると $AB + A\overline{B}=0\cdot 1 + 0\cdot 0=0$ であり、$1$ とはならない。

誤り。$A=0, B=0$ を代入すると $AB + A\overline{B}=0\cdot 0 + 0\cdot 1=0$ であり、$1$ とはならない。

A は図から t0〜t2 が 1、t2〜t4 が 0 で (1,1,0,0)。NAND の出力 (1,1,0,1) と一致しない。

C は図から t0〜t1 が 1、t1 以降は 0 で (1,0,0,0)。NAND の (1,1,0,1) と一致しない。

D は図から (0,1,1,0)。NAND の (1,1,0,1) と一致しない。

E は図から t3〜t4 のみ 1 で (0,0,0,1)。NAND の (1,1,0,1) と一致しない。

AND（論理積）は $A \cdot B$ で、AとBの共通部分のみが網掛けになるはずである。図は共通部分が網掛けではないため該当しない。

OR（論理和）は $A + B$ で、AまたはBに属する全体（重なり部分を含む和集合）が網掛けになる。しかし図では重なりが白抜きであり一致しない。

NOT（否定）は単一入力の演算で、例えば $\overline{A}$ のようにAの外側を指す。2入力A・Bの特定の部分（対称差）を示す本図を表せない。

NOR（否定論理和）は $\overline{A + B}$ で、AにもBにも属さない外部領域（長方形内の円の外側）が網掛けになる。図とは一致しない。

X=1 のとき、Y=1 なら $Z=\overline{1}\cdot 1 + 1\cdot \overline{1}=0$ となり 1 ではない。従って常に1とはいえない。

Y=1 のとき、X=1 なら $Z=\overline{1}\cdot 1 + 1\cdot \overline{1}=0$ となり 1 ではない。従って常に1とはいえない。

$X=Y$（00 または 11）のとき、式 $Z=\overline{X}\cdot Y + X\cdot \overline{Y}$ はどちらの積項も 0 となり $Z=0$。よって常に1ではない。

回路は XOR であり、入力の組合せに依存して 0/1 が変化する。例えば $X=Y$ では $Z=0$ となるため、入力によらず常に1ではない。