드모르간(De-Morgan)의 정리에 의한 기본 공식중 맞는 것은? | [정보통신기능사 필기] 02년 1회차 기출문제 상세 페이지

정답은 두 변수 합 전체의 부정이 각 변수 부정의 곱과 같은 식이다.
드모르간의 정리는 합의 부정은 각 부정의 곱, 곱의 부정은 각 부정의 합이라는 두 등식이며, 합의 부정 쪽 식은 $\overline{X+Y}=\overline{X}\cdot\overline{Y}$이다.
대입값 $X=1,\ Y=0$에서 좌변은 $\overline{1+0}=0$, 우변은 $\overline{1}\cdot\overline{0}=0\cdot 1=0$이다.
두 변수 곱 전체의 부정을 부정 없는 두 변수의 합으로 적은 식은 $X=Y=1$에서 좌변 $\overline{1\cdot 1}=0$, 우변은 $1+1=1$이며, 양변 값이 다르다.
두 변수 곱 전체의 부정을 각 변수 부정의 곱으로 적은 식은 $X=1,\ Y=0$에서 좌변 $\overline{1\cdot 0}=1$, 우변 $\overline{1}\cdot\overline{0}=0$이며, 곱의 부정과 짝을 이루는 형태는 각 부정의 합이다.
두 변수 합 전체의 부정을 각 변수 부정의 합으로 적은 식은 연산 기호를 합으로 유지한 형태이며, $X=1,\ Y=0$에서 좌변은 0이고 우변은 1이다.