正解は④。ド・モルガンの法則で各否定を展開すると、前半は $\overline A B+\overline B C$、後半は $A\overline B+B\overline C$ となる。これらの論理積を展開し、$A\overline A=0$、$B\overline B=0$ を含む項を消すと

だけが残り④に一致する。①②③⑤はA、B、Cの否定位置が異なり、元の式を満たす入力組合せではない。