正解は④。上線を含む各項をド・モルガンの法則で展開し、$X+X=X$、$X\overline X=0$、吸収則を使って整理する。冗長項を消すと選択肢④の $B\overline C+\overline B C$ の形が残る。