정답: 4번 드모르간(De Morgan)의 정리 중 합의 부정은 부정의 곱과 같다는 법칙이 있습니다. 즉, $\overline{A + B} = \overline{A} \times \overline{B}$ 입니다. 문제에서 주어진 $\overline{A \times B}$를 이 법칙에 따라 변환하려면, 주어진 식의 $\times$ 기호가 논리합(OR)을 의미한다고 해석해야 합니다. 만약 $\times$가 논리합(OR)을 의미한다면, $\overline{A \times B}$는 $\overline{A + B}$와 같아집니다. 드모르간의 정리에 따라 $\overline{A + B} = \overline{A} \times \overline{B}$ 이므로, 보기 4번과 일치합니다.