正解は③。各上線をド・モルガンの法則で展開し、$X+XY=X$、$X\overline X=0$ と分配則を用いて冗長項を消す。整理後は選択肢③の二つの積項だけが残り、BやCを単独で含む選択肢は元の真理値と一致しない。